Z3 parameters to help it bail out of fruitless searches faster

print _all_ the attributes of an assert this time
add simpletypes to the visitor

1 files changed, 8 insertions, 2 deletions

diff --git a/Source/Core/AbsyCmd.ssc b/Source/Core/AbsyCmd.ssc
index de40c2e8..723b40e3 100644
--- a/Source/Core/AbsyCmd.ssc
+++ b/Source/Core/AbsyCmd.ssc
@@ -2022,11 +2022,17 @@ namespace Microsoft.Boogie
     public override void Emit(TokenTextWriter! stream, int level)

     {

       stream.Write(this, level, "assert ");

-      if (this.Attributes != null)

-        this.Attributes.Emit(stream);

+      EmitAttributes(stream);

       this.Expr.Emit(stream);

       stream.WriteLine(";");

     }

+    protected void EmitAttributes(TokenTextWriter! stream)

+    {

+      for (QKeyValue kv = this.Attributes; kv != null; kv = kv.Next) {

+        kv.Emit(stream);

+        stream.Write(" ");

+      }

+    }

     public override void Typecheck(TypecheckingContext! tc)

     {

       Expr.Typecheck(tc);