Skip to content

Commit e40d713

Browse files
authored
QL: update expected output
1 parent 50f5c83 commit e40d713

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
| Test.qll:12:27:12:35 | VarDecl | succ was $@ in the super class. | Test.qll:4:27:4:35 | VarDecl | named pred |
2-
| Test.qll:12:38:12:46 | VarDecl | pred was $@ in the super class. | Test.qll:4:38:4:46 | VarDecl | named succ |
1+
| Test.qll:12:27:12:35 | succ | succ was $@ in the super class. | Test.qll:4:27:4:35 | pred | named pred |
2+
| Test.qll:12:38:12:46 | pred | pred was $@ in the super class. | Test.qll:4:38:4:46 | succ | named succ |

0 commit comments

Comments
 (0)