Psst.. new poll here.
Psst.. new forums here.
Microsoft is blocking us again (TY IP Reputation!) so just use oauth login instead. :)
Paste
Pasted as C++ by denis ( 16 years ago )
{
file.close();
if (ce != 0)
delete ce;
ce = new Counterexample(*this);
//ce->read(nusmv_output_path);
remove(nusmv_output_path);
result = false;
}
Revise this Paste