added a theory translator for DKS

This commit is contained in:
2016-03-08 16:23:18 +01:00
parent d9a35a25bb
commit d9782c55c8
4 changed files with 130 additions and 0 deletions

View File

@@ -712,6 +712,10 @@ int main(int argc, char *argv[])
}
}
cout << "debug> ++++++++++++" << endl;
cout << "debug> msrHandler->GetDKSTheoryString()='" << msrHandler->GetDKSTheoryString() << "'" << endl;
cout << "debug> ++++++++++++" << endl;
// check if dump is wanted
if (success && !dump.IsNull()) {
cout << endl << "will write dump file ..." << endl;