start test

gangtan · Feb 4, 2020 · 7030232 · 7030232
1 parent 9fb7c82
commit 7030232
Show file tree

Hide file tree

Showing 675 changed files with 75,790 additions and 2,039 deletions.
diff --git a/dataflowTest/Const_lattice/Makefile b/dataflowTest/Const_lattice/Makefile
@@ -4,8 +4,9 @@ PROG     = const_prop
 
 .PHONY: all clean
 
+#  -p $(PROG)_profile.log
 all: 
-	./../../souffle $(PROG).dl --fact-dir=facts --output-dir=. --debug-report=$(PROG)_report.html -p $(PROG)_profile.log
+	./../../src/souffle $(PROG).dl --fact-dir=facts --output-dir=. --debug-report=$(PROG)_report.html
 	sort -k1 ./varEntry.csv > ./sortedVarEntry.csv
 	sort -k1 ./varExit.csv > ./sortedVarExit.csv
 

diff --git a/dataflowTest/Const_lattice/const_prop.dl b/dataflowTest/Const_lattice/const_prop.dl
@@ -75,6 +75,9 @@
 .lat varExit(l:number, k: symbol, v: Constant)
 .output varExit
 
+// initialize all variables to Bottom
+varEntry(0, k, "Bot") :- assignVar(_, k).
+
 // varEntry of l2 is the union of {varExit(l1) | flow(l1,l2)}
 varEntry(l2, k, v) :- varExit(l1, k, v), flow(l1, l2).