Skip to content

Commit

Permalink
Merge branch 'master' into splitBranch
Browse files Browse the repository at this point in the history
  • Loading branch information
@VincenzoArceri
VincenzoArceri authored Aug 14, 2024
2 parents 413cee4 + c90a000 commit 202a034
Show file tree
Hide file tree
Showing 164 changed files with 4,978 additions and 137 deletions.
3 changes: 3 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
/.metadata/
/.metadata/
.DS_Store
2 changes: 1 addition & 1 deletion lisa/gradle.properties
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# project properties
group = 'it.unive'
version = 0.1b9
version = 0.1

# gradle build properties
org.gradle.caching=true
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/arrays/allocations-fields/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/arrays/allocations/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/arrays/monolith/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/dataflow/ae/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/dataflow/cp/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/dataflow/liveness/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/dataflow/rd/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/descending/maxglb/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "GLB",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/descending/widening/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NARROWING",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/heap/pp-field/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/heap/pp/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/heap/types/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context-helper-full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context-helper-last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context-pp-arrayop/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context-pp-twoarrays/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorial/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorial/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorial/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorial/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialInterleaved/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion .../lisa-analyses/imp-testcases/interprocedural/factorialInterleaved/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialInterleaved/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialInterleaved/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialLoop/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialLoop/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialLoop/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialLoop/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/fibonacci/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/fibonacci/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/fibonacci/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/fibonacci/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion1/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion1/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion1/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion1/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion2/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion2/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion2/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion2/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/modular-cha/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/modular-rta/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
Loading

0 comments on commit 202a034

Please sign in to comment.