diff options
author | 2013-06-13 04:35:43 +0100 | |
---|---|---|
committer | 2013-06-13 04:35:43 +0100 | |
commit | e2a0f4614b14ca10d6813ed6ce3d84c077872770 (patch) | |
tree | 69283b9134ce7b1d1769830a68380afd26b83b54 /Source/VCGeneration/StratifiedVC.cs | |
parent | b8b543484eba84d3aaf437333656017ad474b372 (diff) |
merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compact parser
Diffstat (limited to 'Source/VCGeneration/StratifiedVC.cs')
-rw-r--r-- | Source/VCGeneration/StratifiedVC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs index 9e0dd798..81c37d8d 100644 --- a/Source/VCGeneration/StratifiedVC.cs +++ b/Source/VCGeneration/StratifiedVC.cs @@ -2444,7 +2444,7 @@ namespace VC { private void GetModelWithStates(Model m) {
if (m == null) return;
var mvInfo = mainInfo.mvInfo;
- var mvstates = m.TryGetFunc("@MV_state");
+ var mvstates = m.TryGetFunc("$mv_state");
if (mvstates == null)
return;
|