diff options
Diffstat (limited to 'Test/snapshots/Snapshots6.v1.bpl')
-rw-r--r-- | Test/snapshots/Snapshots6.v1.bpl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Test/snapshots/Snapshots6.v1.bpl b/Test/snapshots/Snapshots6.v1.bpl index eb139546..be8b699d 100644 --- a/Test/snapshots/Snapshots6.v1.bpl +++ b/Test/snapshots/Snapshots6.v1.bpl @@ -4,7 +4,7 @@ var y: int; procedure {:checksum "0"} M();
modifies x, y;
-implementation {:checksum "1"} M()
+implementation {:id "M"} {:checksum "1"} M()
{
y := 0;
@@ -14,4 +14,5 @@ implementation {:checksum "1"} M() }
procedure {:checksum "3"} N();
+ // Change: more modified variables
modifies x, y;
|