From bc73845cb99a1b6cb3d2b87b937c869610feb4e7 Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Tue, 30 Jul 2019 14:14:44 +0000
Subject: [PATCH] MC: Allow the feasibility check to be (usefully) overridden.
---
divine/mc/machine.hpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/divine/mc/machine.hpp b/divine/mc/machine.hpp
index 54bc63050..52c1b3a80 100644
--- a/divine/mc/machine.hpp
+++ b/divine/mc/machine.hpp
@@ -284,7 +284,7 @@ namespace divine::mc::machine
return compute( q, o, cont_from );
}
- bool feasible()
+ virtual bool feasible( tq & )
{
if ( this->context().flags_any( _VM_CF_Cancel ) )
return false;
@@ -313,7 +313,7 @@ namespace divine::mc::machine
Eval eval( this->context() );
bool choice = eval.run_seq( !!cont_from );
- if ( !feasible() )
+ if ( !feasible( q ) )
return;
if ( choice )
--
GitLab