From 2752b4bd413d5397d20331a3b8111b9abd661262 Mon Sep 17 00:00:00 2001 From: Pantazis Deligiannis Date: Wed, 10 Jul 2013 16:41:36 +0100 Subject: fix a bug when parsing nested arrays under CVC4 --- Source/Model/ModelParser.cs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Source/Model') diff --git a/Source/Model/ModelParser.cs b/Source/Model/ModelParser.cs index 5de903ab..0a7a6c69 100644 --- a/Source/Model/ModelParser.cs +++ b/Source/Model/ModelParser.cs @@ -681,6 +681,9 @@ namespace Microsoft.Boogie if (tokens [i] == "(" && tokens [i + 1] == "__array_store_all__") { output.Add ("as-array[k!" + arrayNum + "]"); SplitArrayExpression (); + } else if (tokens [i] == "(" && tokens [i + 1] == "store") { + output.Add ("as-array[k!" + arrayNum + "]"); + SplitArrayExpression (); } else { while (args.Count < 3) { if (tokens [i] == ")") -- cgit v1.2.3