diff options
author | pantazis <pdeligia@me.com> | 2013-06-13 04:35:43 +0100 |
---|---|---|
committer | pantazis <pdeligia@me.com> | 2013-06-13 04:35:43 +0100 |
commit | e2a0f4614b14ca10d6813ed6ce3d84c077872770 (patch) | |
tree | 69283b9134ce7b1d1769830a68380afd26b83b54 /Source/ModelViewer | |
parent | b8b543484eba84d3aaf437333656017ad474b372 (diff) |
merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compact parser
Diffstat (limited to 'Source/ModelViewer')
-rw-r--r-- | Source/ModelViewer/VccProvider.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index c226d646..b4540717 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -274,7 +274,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc new string[] {
"$_pow2", "$as_composite_field", "$as_field_with_type", "$as_in_range_t",
"$as_primitive_field", "$base", "$call_transition", "tickleBool", "Ctor",
- "@MV_state", "$field", "$field_arr_root", "$field_kind", "$field_offset",
+ "$mv_state", "$field", "$field_arr_root", "$field_kind", "$field_offset",
"$field_parent_type", "$field_type", "$file_name_is", "$good_state",
"$good_state_ext", "$function_arg_type", "$has_field_at0", "$map_domain",
"$map_range", "$map_t", "$ptr_to", "$ptr_to_i1", "$ptr_to_i2",
|