From 5a0059d1101827a8a25f38db29f5e327568cf275 Mon Sep 17 00:00:00 2001 From: masawei Date: Fri, 29 Aug 2014 15:55:58 +0200 Subject: [PATCH] Commented out the SMTMinimalCommandSetGeneraator, again. Former-commit-id: 4e0427caafa6fce1f907b195b066b25697154ec2 --- src/storm.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/storm.cpp b/src/storm.cpp index 6337bb29a..bd3634d76 100644 --- a/src/storm.cpp +++ b/src/storm.cpp @@ -600,11 +600,8 @@ int main(const int argc, const char* argv[]) { if (useMILP) { storm::counterexamples::MILPMinimalLabelSetGenerator::computeCounterexample(program, *mdp, formulaPtr->getChild()); } else { - storm::counterexamples::SMTMinimalCommandSetGenerator::computeCounterexample(program, constants, *mdp, formulaPtr->getChild()); + // storm::counterexamples::SMTMinimalCommandSetGenerator::computeCounterexample(program, constants, *mdp, formulaPtr->getChild()); } - - // Once we are done with the formula, delete it. - delete formulaPtr; } // MinCMD Time Measurement, End