diff options
Diffstat (limited to 'Source/ModelViewer')
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index b5ba6c22..ede520cb 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -135,7 +135,11 @@ namespace Microsoft.Boogie.ModelViewer.Vcc sn.SetupVars();
states.Add(sn);
}
+
var allStates = states.ToArray();
+ if (allStates.Length == 1 && allStates[0].vars.Count == 0) {
+ throw new Exception("This VCC model doesn't contain any variables. Was it saved with the -bvd option?");
+ }
states.Clear();
var i = 0;
while (i < allStates.Length) {
|