diff options
author | 2015-01-26 19:18:52 +0100 | |
---|---|---|
committer | 2015-01-26 19:18:52 +0100 | |
commit | 88acfa270c5d94547d62b1822c7e4abcd0ea640b (patch) | |
tree | abc52414320980156b1ee0993fa5fc390db5ce00 /Source/Core/AbsyCmd.cs | |
parent | 6b938bcca366f0ef388294b6808f7ea883aba1eb (diff) |
Worked on the verification result caching (statement checksums).
Diffstat (limited to 'Source/Core/AbsyCmd.cs')
-rw-r--r-- | Source/Core/AbsyCmd.cs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index d14250c1..b5581ea6 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -3216,10 +3216,7 @@ namespace Microsoft.Boogie { if (stream.UseForComputingChecksums && QKeyValue.FindBoolAttribute(Attributes, "precondition_previous_snapshot")) { return; }
stream.Write(this, level, "assume ");
- if (!stream.UseForComputingChecksums)
- {
- EmitAttributes(stream, Attributes);
- }
+ EmitAttributes(stream, Attributes);
this.Expr.Emit(stream);
stream.WriteLine(";");
}
|