Fix for MDP counter examples

randriu · Nov 25, 2024 · 77dfa60 · 77dfa60
1 parent c98d149
commit 77dfa60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/payntbind/src/synthesis/counterexamples/CounterexampleMdp.cpp b/payntbind/src/synthesis/counterexamples/CounterexampleMdp.cpp
@@ -466,7 +466,7 @@ std::pair<bool,bool> CounterexampleGeneratorMdp<ValueType,StateType>::expandAndC
     this->timer_model_check.stop();
     storm::modelchecker::ExplicitQuantitativeCheckResult<ValueType>& model_check_result = this->hint_result->template asExplicitQuantitativeCheckResult<ValueType>();
 
-    auto comparisonType = this->formula_modified[index]->asOperatorFormula().getComparisonType();
+    auto comparisonType = this->formula_modified[formula_index]->asOperatorFormula().getComparisonType();
 
     bool satisfied;
     if(this->formula_safety[formula_index]) {