update expected output

This commit is contained in:
Erik Krogh Kristensen
2021-05-28 09:16:54 +00:00
committed by GitHub
parent 75d77b70cc
commit 2430dbfd04

View File

@@ -1,2 +1,2 @@
| Test.qll:12:27:12:35 | VarDecl | succ was $@ in the super class. | Test.qll:4:27:4:35 | VarDecl | named pred |
| Test.qll:12:38:12:46 | VarDecl | pred was $@ in the super class. | Test.qll:4:38:4:46 | VarDecl | named succ |
| Test.qll:12:27:12:35 | succ | succ was $@ in the super class. | Test.qll:4:27:4:35 | pred | named pred |
| Test.qll:12:38:12:46 | pred | pred was $@ in the super class. | Test.qll:4:38:4:46 | succ | named succ |