test cases pass

gibbon-compiler/solve_ilp_-34.py

@@ -0,0 +1,22 @@
+from docplex.mp.model import Model
+model_2 = Model()
+x_00 = model_2.integer_var(lb=0, ub=1, name="x_00")
+x_11 = model_2.integer_var(lb=0, ub=1, name="x_11")
+cost3 = model_2.integer_var(name="cost3")
+x_minus_y11 = (x_00 - x_11)
+cost5 = (x_minus_y11 == -1)
+cost6 = (x_minus_y11 <= -1)
+cost7 = (x_minus_y11 == 1)
+cost8 = (x_minus_y11 >= 1)
+cost9 = (x_minus_y11 != -1)
+cost10 = (x_minus_y11 != 1)
+model_2.add(cost5 <= (cost3 == 0))
+model_2.add((cost6 & cost9) <= (cost3 == 100))
+model_2.add(cost7 <= (cost3 == 200))
+model_2.add((cost8 & cost10) <= (cost3 == 300))
+min4 = cost3 * 50
+model_2.add(x_00 != x_11)
+model_2.minimize(min4 + 0)
+soln12 = model_2.solve()
+print("({},{})".format(0, soln12.get_value(x_00)))
+print("({},{})".format(1, soln12.get_value(x_11)))

gibbon-compiler/solve_ilp_-49.py

@@ -0,0 +1,22 @@
+from docplex.mp.model import Model
+model_2 = Model()
+x_00 = model_2.integer_var(lb=0, ub=1, name="x_00")
+x_11 = model_2.integer_var(lb=0, ub=1, name="x_11")
+cost3 = model_2.integer_var(name="cost3")
+x_minus_y11 = (x_00 - x_11)
+cost5 = (x_minus_y11 == -1)
+cost6 = (x_minus_y11 <= -1)
+cost7 = (x_minus_y11 == 1)
+cost8 = (x_minus_y11 >= 1)
+cost9 = (x_minus_y11 != -1)
+cost10 = (x_minus_y11 != 1)
+model_2.add(cost5 <= (cost3 == 0))
+model_2.add((cost6 & cost9) <= (cost3 == 100))
+model_2.add(cost7 <= (cost3 == 200))
+model_2.add((cost8 & cost10) <= (cost3 == 300))
+min4 = cost3 * 50
+model_2.add(x_00 != x_11)
+model_2.minimize(min4 + 0)
+soln12 = model_2.solve()
+print("({},{})".format(0, soln12.get_value(x_00)))
+print("({},{})".format(1, soln12.get_value(x_11)))

gibbon-compiler/solve_ilp_14.py

@@ -0,0 +1,22 @@
+from docplex.mp.model import Model
+model_2 = Model()
+x_00 = model_2.integer_var(lb=0, ub=1, name="x_00")
+x_11 = model_2.integer_var(lb=0, ub=1, name="x_11")
+cost3 = model_2.integer_var(name="cost3")
+x_minus_y11 = (x_00 - x_11)
+cost5 = (x_minus_y11 == -1)
+cost6 = (x_minus_y11 <= -1)
+cost7 = (x_minus_y11 == 1)
+cost8 = (x_minus_y11 >= 1)
+cost9 = (x_minus_y11 != -1)
+cost10 = (x_minus_y11 != 1)
+model_2.add(cost5 <= (cost3 == 0))
+model_2.add((cost6 & cost9) <= (cost3 == 100))
+model_2.add(cost7 <= (cost3 == 200))
+model_2.add((cost8 & cost10) <= (cost3 == 300))
+min4 = cost3 * 50
+model_2.add(x_00 != x_11)
+model_2.minimize(min4 + 0)
+soln12 = model_2.solve()
+print("({},{})".format(0, soln12.get_value(x_00)))
+print("({},{})".format(1, soln12.get_value(x_11)))

gibbon-compiler/tests/test-gibbon-examples.yaml

@@ -911,23 +911,3 @@ tests:
     failing: []
     run-modes: ["gibbon2", "gibbon3", "pointer"]
 
-  - name: layout1ContentSearchRunPipeline.hs 
-    test-flags: ["--no-gc", "--opt-layout-local", "--opt-layout-use-solver"]
-    dir: examples/layout_bench
-    answer-file: examples/layout_bench/layout1ContentSearchRunPipeline.ans
-    failing: [interp1,pointer,gibbon1, gibbon3]
-    run-modes: []
-
-  - name: manyFuncs.hs 
-    test-flags: ["--no-gc", "--opt-layout-local", "--opt-layout-use-solver"]
-    dir: examples/layout_bench
-    answer-file: examples/layout_bench/manyFuncsLocal.ans
-    failing: [interp1,pointer,gibbon1, gibbon3, gibbon2]
-    run-modes: []
-
-  - name: manyFuncs.hs 
-    test-flags: ["--no-gc", "--opt-layout-global", "--opt-layout-use-solver"]
-    dir: examples/layout_bench
-    answer-file: examples/layout_bench/manyFuncsGlobal.ans
-    failing: [interp1,pointer,gibbon1, gibbon3, gibbon2]
-    run-modes: []