simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix tests

Browse source
This commit is contained in:
Simon Cruanes 2022-07-14 22:17:25 -04:00
parent 85c850d464
commit 325acc5724
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
examples/sudoku/sudoku_solve.ml
View file

@ -178,8 +178,6 @@ end = struct
let make sign x y (c : Cell.t) : t = sign, x, y, c let make sign x y (c : Cell.t) : t = sign, x, y, c
end end
type lit = F.t
module Theory = struct module Theory = struct
type proof = unit type proof = unit
type proof_step = unit type proof_step = unit

6
src/tests/regression/dune
View file

@ -1,10 +1,12 @@
(rule (rule
(targets reg_model_lra1.out) (targets reg_model_lra1.out)
(deps reg_model_lra1.smt2) (deps
(:file reg_model_lra1.smt2)
../../main/main.exe)
(action (action
(with-stdout-to (with-stdout-to
%{targets} %{targets}
(bash "../../main/main.exe %{deps} | tail -n +2")))) (bash "../../main/main.exe %{file} | tail -n +2"))))
(rule (rule
(alias runtest) (alias runtest)