Merge pull request #234 from lisa-analyzer/beta6-bugfixes

Beta7

Author: VincenzoArceri

.github/workflows/gradle-master.yml

@@ -66,8 +66,8 @@ jobs:
         changelog=$(cat changelog.txt)
         echo "next version: $nextver"
         echo "changelog: $changelog.txt"
-        echo "::set-output name=nextver::$nextver"
-        echo "::set-output name=currentver::$currentver"
+        echo "nextver=$nextver" >> $GITHUB_OUTPUT
+        echo "currentver=$currentver" >> $GITHUB_OUTPUT
         echo "CHANGELOG<<EOF" >> $GITHUB_ENV
         echo "$changelog" >> $GITHUB_ENV
         echo "EOF" >> $GITHUB_ENV

lisa/lisa-core/imp-testcases/heap/point-based-heap/field-insensitive/untyped_A.f1(A__this).json

@@ -1 +1 @@
-{"name":"untyped A::f2(A* this)","description":null,"nodes":[{"id":0,"subNodes":[1,2],"text":"o = new A(-1, -1)"},{"id":1,"text":"o"},{"id":2,"subNodes":[3,4],"text":"new A(-1, -1)"},{"id":3,"text":"-1"},{"id":4,"text":"-1"},{"id":5,"text":"true"},{"id":6,"subNodes":[7,8],"text":"o = new A(0, 0)"},{"id":7,"text":"o"},{"id":8,"subNodes":[9,10],"text":"new A(0, 0)"},{"id":9,"text":"0"},{"id":10,"text":"0"},{"id":11,"subNodes":[12,13],"text":"o = new A(1, 1)"},{"id":12,"text":"o"},{"id":13,"subNodes":[14,15],"text":"new A(1, 1)"},{"id":14,"text":"1"},{"id":15,"text":"1"},{"id":16,"text":"ret"}],"edges":[{"sourceId":0,"destId":5,"kind":"SequentialEdge"},{"sourceId":5,"destId":6,"kind":"TrueEdge"},{"sourceId":5,"destId":11,"kind":"FalseEdge"},{"sourceId":6,"destId":16,"kind":"SequentialEdge"},{"sourceId":11,"destId":16,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["o"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["A*"]},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":1,"description":{"expressions":["o"],"state":{"heap":"#TOP#","type":{"map":{},"stack":"#TOP#"},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":2,"description":{"expressions":["ref$new A"],"state":{"heap":"#TOP#","type":{"map":{},"stack":["A*"]},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":3,"description":{"expressions":["-1"],"state":{"heap":{"this":"[heap[s]:pp@unknown@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':12:4]"},"type":{"map":{"this":["A*"]},"stack":["int32"]},"value":"#TOP#"}}},{"nodeId":4,"description":{"expressions":["-1"],"state":{"heap":{"this":"[heap[s]:pp@unknown@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':12:4]"},"type":{"map":{"this":["A*"]},"stack":["int32"]},"value":"#TOP#"}}},{"nodeId":5,"description":{"expressions":["true"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["bool"]},"value":{"map":{},"stack":"[-Inf, +Inf]"}}}},{"nodeId":6,"description":{"expressions":["o"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':15:16]"},"type":{"map":{"o":["A*"]},"stack":["A*"]},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":7,"description":{"expressions":["o"],"state":{"heap":"#TOP#","type":{"map":{},"stack":"#TOP#"},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":8,"description":{"expressions":["ref$new A"],"state":{"heap":"#TOP#","type":{"map":{},"stack":["A*"]},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":9,"description":{"expressions":["0"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["int32"]},"value":{"map":{},"stack":"[0, 0]"}}}},{"nodeId":10,"description":{"expressions":["0"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["int32"]},"value":{"map":{},"stack":"[0, 0]"}}}},{"nodeId":11,"description":{"expressions":["o"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':17:16]"},"type":{"map":{"o":["A*"]},"stack":["A*"]},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":12,"description":{"expressions":["o"],"state":{"heap":"#TOP#","type":{"map":{},"stack":"#TOP#"},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":13,"description":{"expressions":["ref$new A"],"state":{"heap":"#TOP#","type":{"map":{},"stack":["A*"]},"value":{"map":{},"stack":"_|_"}}}},{"nodeId":14,"description":{"expressions":["1"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["int32"]},"value":{"map":{},"stack":"[1, 1]"}}}},{"nodeId":15,"description":{"expressions":["1"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["int32"]},"value":{"map":{},"stack":"[1, 1]"}}}},{"nodeId":16,"description":{"expressions":["skip"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':17:16, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':15:16]"},"type":{"map":{"o":["A*"]},"stack":"_|_"},"value":{"map":{},"stack":"_|_"}}}}]}
+{"name":"untyped A::f2(A* this)","description":null,"nodes":[{"id":0,"subNodes":[1,2],"text":"o = new A(-1, -1)"},{"id":1,"text":"o"},{"id":2,"subNodes":[3,4],"text":"new A(-1, -1)"},{"id":3,"text":"-1"},{"id":4,"text":"-1"},{"id":5,"text":"true"},{"id":6,"subNodes":[7,8],"text":"o = new A(0, 0)"},{"id":7,"text":"o"},{"id":8,"subNodes":[9,10],"text":"new A(0, 0)"},{"id":9,"text":"0"},{"id":10,"text":"0"},{"id":11,"subNodes":[12,13],"text":"o = new A(1, 1)"},{"id":12,"text":"o"},{"id":13,"subNodes":[14,15],"text":"new A(1, 1)"},{"id":14,"text":"1"},{"id":15,"text":"1"},{"id":16,"text":"ret"}],"edges":[{"sourceId":0,"destId":5,"kind":"SequentialEdge"},{"sourceId":5,"destId":6,"kind":"TrueEdge"},{"sourceId":5,"destId":11,"kind":"FalseEdge"},{"sourceId":6,"destId":16,"kind":"SequentialEdge"},{"sourceId":11,"destId":16,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["o"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["A*"]},"value":"#TOP#"}}},{"nodeId":1,"description":{"expressions":["o"],"state":{"heap":"#TOP#","type":"#TOP#","value":"#TOP#"}}},{"nodeId":2,"description":{"expressions":["ref$new A"],"state":{"heap":"#TOP#","type":{"map":"empty","stack":["A*"]},"value":"#TOP#"}}},{"nodeId":3,"description":{"expressions":["-1"],"state":{"heap":{"this":"[heap[s]:pp@unknown@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':12:4]"},"type":{"map":{"this":["A*"]},"stack":["int32"]},"value":{"map":"empty","stack":"[-1, -1]"}}}},{"nodeId":4,"description":{"expressions":["-1"],"state":{"heap":{"this":"[heap[s]:pp@unknown@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':12:4]"},"type":{"map":{"this":["A*"]},"stack":["int32"]},"value":{"map":"empty","stack":"[-1, -1]"}}}},{"nodeId":5,"description":{"expressions":["true"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["bool"]},"value":"#TOP#"}}},{"nodeId":6,"description":{"expressions":["o"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':15:16]"},"type":{"map":{"o":["A*"]},"stack":["A*"]},"value":"#TOP#"}}},{"nodeId":7,"description":{"expressions":["o"],"state":{"heap":"#TOP#","type":"#TOP#","value":"#TOP#"}}},{"nodeId":8,"description":{"expressions":["ref$new A"],"state":{"heap":"#TOP#","type":{"map":"empty","stack":["A*"]},"value":"#TOP#"}}},{"nodeId":9,"description":{"expressions":["0"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["int32"]},"value":{"map":"empty","stack":"[0, 0]"}}}},{"nodeId":10,"description":{"expressions":["0"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["int32"]},"value":{"map":"empty","stack":"[0, 0]"}}}},{"nodeId":11,"description":{"expressions":["o"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':17:16]"},"type":{"map":{"o":["A*"]},"stack":["A*"]},"value":"#TOP#"}}},{"nodeId":12,"description":{"expressions":["o"],"state":{"heap":"#TOP#","type":"#TOP#","value":"#TOP#"}}},{"nodeId":13,"description":{"expressions":["ref$new A"],"state":{"heap":"#TOP#","type":{"map":"empty","stack":["A*"]},"value":"#TOP#"}}},{"nodeId":14,"description":{"expressions":["1"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["int32"]},"value":{"map":"empty","stack":"[1, 1]"}}}},{"nodeId":15,"description":{"expressions":["1"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':13:21]"},"type":{"map":{"o":["A*"]},"stack":["int32"]},"value":{"map":"empty","stack":"[1, 1]"}}}},{"nodeId":16,"description":{"expressions":["skip"],"state":{"heap":{"o":"[heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':17:16, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':15:16]"},"type":{"map":{"o":["A*"]},"stack":"_|_"},"value":{"map":"empty","stack":"_|_"}}}}]}