123456789101112131415161718192021222324252627 |
- #include "walk.hpp"
- int main(int argc,char* argv[]){
- if(argc!=3){
- cerr<<"[run_walk] Argument error."<<endl;
- exit(-1);
- }
- string filename=argv[1];
- int timeout=stoi(argv[2]);
- cout<<"Input filename : "<<filename<<endl;
- cout<<"Timeout : "<<timeout<<" seconds"<<endl;
- Stack stack;
- Semigroup* S=stack.next();
- rename(("todo/"+filename).c_str(),("lock/"+filename).c_str());
- S->from_file("lock/"+filename);
- stack.push();
- Results results;
- results.clear();
- walk(stack,results,filename,timeout);
- if(results.has_counter_example){
- cout<<"*******************"<<endl;
- cout<<"* Counter example *"<<endl;
- cout<<"*******************"<<endl;
- results.S_counter_example.display();
- }
- }
|