Skip to content
Snippets Groups Projects
ModelChecker.cpp 117 B
Newer Older
  • Learn to ignore specific revisions
  • Hiba Ouni's avatar
    src
    Hiba Ouni committed
    #include "ModelChecker.h"
    
    ModelChecker::ModelChecker()
    {
        //ctor
    }
    
    ModelChecker::~ModelChecker()
    {
        //dtor
    }