diff options
| author |  leino <unknown> | 2015-01-28 23:49:19 -0800 |
|---|---|---|
| committer | leino <unknown> | 2015-01-28 23:49:19 -0800 |
| commit | 459fec4034a86b800da0e0510c73eddfb1b11ca9 (patch) | |
| tree | 14764c87b6cd1788b784d39c9558df0401ccfb82 /Test/dafny0/ControlStructures.dfy.expect | |
| parent | 9e7955e5c36e5f345adb61d072154a82c08c7059 (diff) | |
Generate unique IDs hierarchically, to reduce changes to IDs when the program is modified (to help with fine-grained caching)
Diffstat (limited to 'Test/dafny0/ControlStructures.dfy.expect')
| -rw-r--r-- | Test/dafny0/ControlStructures.dfy.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny0/ControlStructures.dfy.expect b/Test/dafny0/ControlStructures.dfy.expect index bc4cb97d..43124912 100644 --- a/Test/dafny0/ControlStructures.dfy.expect +++ b/Test/dafny0/ControlStructures.dfy.expect @@ -68,7 +68,7 @@ Execution trace: ControlStructures.dfy(213,9): anon70_Else
ControlStructures.dfy(213,9): anon71_Else
(0,0): anon72_Then
- (0,0): after_2
+ (0,0): after_0_0_3_0_0_0
ControlStructures.dfy(224,7): anon74_LoopHead
(0,0): anon74_LoopBody
ControlStructures.dfy(224,7): anon75_Else
@@ -109,7 +109,7 @@ Execution trace: ControlStructures.dfy(213,9): anon70_Else
ControlStructures.dfy(213,9): anon71_Else
(0,0): anon72_Then
- (0,0): after_2
+ (0,0): after_0_0_3_0_0_0
ControlStructures.dfy(224,7): anon74_LoopHead
(0,0): anon74_LoopBody
ControlStructures.dfy(224,7): anon75_Else
|