mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-05 19:00:33 -05:00
32 lines
677 B
Text
32 lines
677 B
Text
(executable
|
|
(name run_tests)
|
|
(modules run_tests)
|
|
(modes native)
|
|
(libraries containers alcotest qcheck sidekick.util sidekick_test_simplex
|
|
sidekick_test_util)
|
|
(flags :standard -warn-error -a+8 -color always))
|
|
|
|
(rule
|
|
(alias runtest)
|
|
(locks /test)
|
|
(package sidekick)
|
|
(action
|
|
(progn
|
|
(run ./run_tests.exe alcotest) ; run regressions first
|
|
(run ./run_tests.exe qcheck --verbose))))
|
|
|
|
; FIXME
|
|
;(rule
|
|
; (targets basic.drup)
|
|
; (deps
|
|
; (:pb basic.cnf)
|
|
; (:solver ../../src/main/main.exe))
|
|
; (action
|
|
; (run %{solver} %{pb} -t 2 -o %{targets})))
|
|
;
|
|
;(rule
|
|
; (alias runtest)
|
|
; (locks /test)
|
|
; (package sidekick-bin)
|
|
; (action
|
|
; (diff basic.drup.expected basic.drup)))
|