[DB] add patron-DB

prosyslab · Apr 26, 2024 · 86c684c · 86c684c
1 parent 3d5d697
commit 86c684c
Show file tree

Hide file tree

Showing 756 changed files with 12,114,655 additions and 0 deletions.
diff --git a/patron-DB/AllocSize/24-donor/0_hum.chc b/patron-DB/AllocSize/24-donor/0_hum.chc
diff --git a/patron-DB/AllocSize/24-donor/0_mach.chc b/patron-DB/AllocSize/24-donor/0_mach.chc
diff --git a/patron-DB/AllocSize/24-donor/abs_diff_0.marshal b/patron-DB/AllocSize/24-donor/abs_diff_0.marshal
diff --git a/patron-DB/AllocSize/24-donor/buggy_numer_0_ans.smt2 b/patron-DB/AllocSize/24-donor/buggy_numer_0_ans.smt2
@@ -0,0 +1,42 @@
+(and (= (:var 0)
+        (|query!0() :-  ErrTrace(18370,13751).|
+          (|ErrTrace(18370,13751) :-  AllocExp(393,394), Set(12495,12496,9166), Set(12492,12493,9408), Set(15296,12497,11658), Set(15295,12494,11465), Set(15285,12494,11056), Set(15307,18825,10982), Set(15312,20428,11578), Set(13751,12087,393), LvalExp(9408,12494), LvalExp(9166,12497), LvalExp(4356,20428), EvalLv(12495,12497,20438), EvalLv(12492,12494,20439), EvalLv(15296,12497,20438), EvalLv(15295,12494,20439), EvalLv(15285,12494,20439), EvalLv(15307,20428,20429), EvalLv(15312,20428,20429), DUEdge(15269,15211), DUEdge(12495,15269), DUEdge(12492,15269), DUEdge(15301,13775), DUEdge(15307,15273), DUEdge(7173,15269), DUEdge(15273,15301), DUEdge(15211,15112), DUEdge(15158,13760), DUEdge(7118,15158), DUEdge(15112,7118), DUEdge(13775,13769), DUEdge(13769,13760), DUEdge(13760,13750), DUEdge(13750,6583), DUEdge(6585,13751), DUEdge(6583,6585), CallExp(10982,10653,2937), BinOpExp(2940,3,4356,8945), Arg(2937,2939,2940).|
+            |AllocExp(393,394).|
+            |Set(12495,12496,9166).|
+            |Set(12492,12493,9408).|
+            |Set(15296,12497,11658).|
+            |Set(15295,12494,11465).|
+            |Set(15285,12494,11056).|
+            |Set(15307,18825,10982).|
+            |Set(15312,20428,11578).|
+            |Set(13751,12087,393).|
+            |LvalExp(9408,12494).|
+            |LvalExp(9166,12497).|
+            |LvalExp(4356,20428).|
+            |EvalLv(12495,12497,20438).|
+            |EvalLv(12492,12494,20439).|
+            |EvalLv(15296,12497,20438).|
+            |EvalLv(15295,12494,20439).|
+            |EvalLv(15285,12494,20439).|
+            |EvalLv(15307,20428,20429).|
+            |EvalLv(15312,20428,20429).|
+            |DUEdge(15269,15211).|
+            |DUEdge(12495,15269).|
+            |DUEdge(12492,15269).|
+            |DUEdge(15301,13775).|
+            |DUEdge(15307,15273).|
+            |DUEdge(7173,15269).|
+            |DUEdge(15273,15301).|
+            |DUEdge(15211,15112).|
+            |DUEdge(15158,13760).|
+            |DUEdge(7118,15158).|
+            |DUEdge(15112,7118).|
+            |DUEdge(13775,13769).|
+            |DUEdge(13769,13760).|
+            |DUEdge(13760,13750).|
+            |DUEdge(13750,6583).|
+            |DUEdge(6585,13751).|
+            |DUEdge(6583,6585).|
+            |CallExp(10982,10653,2937).|
+            |BinOpExp(2940,3,4356,8945).|
+            |Arg(2937,2939,2940).|))))