Skip to content

Commit

Permalink
Adapted config files
Browse files Browse the repository at this point in the history
  • Loading branch information
@YehorBoiar
YehorBoiar committed Feb 5, 2025
1 parent 6b3a6d5 commit 2bbf65a
Show file tree
Hide file tree
Showing 22 changed files with 1 addition and 22 deletions.
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/abs/01-simple/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/abs/02-neg/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/abs/03-nested/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/implies/01-basic/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/implies/02-flattening/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/implies/03-tautologies/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/implies/04-needs-normalising/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/lettings/01-value-bool/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/lettings/02-value-int/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/lettings/03-value-expr/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/lettings/04-domain/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/pow/01-simple/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/pow/02-exponent-zero/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/pow/03-negative-exponent/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/pow/04-flatten/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/pow/05-negative-base/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/product/01-simple/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1 +0,0 @@
run_solver=true
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/weighted-sum/01-simple-lt/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1 +0,0 @@
run_solver=true
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/weighted-sum/02-simple-gt/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1 +0,0 @@
run_solver=true
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/weighted-sum/03-simple-eq/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1 +0,0 @@
run_solver=true
1 change: 0 additions & 1 deletion conjure_oxide/tests/integration/basic/weighted-sum/04-needs-normalising/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
run_solver=true
use_native_parser=false
2 changes: 1 addition & 1 deletion conjure_oxide/tests/integration/optimisations/implies-tautologies-cse/config.toml
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# really really slow without any optimisations
# this, however, makes it an ideal benchmark!
run_solver=false
solve_with_minion=true
use_native_parser=false

0 comments on commit 2bbf65a

Please sign in to comment.