mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-06 11:15:43 -05:00
16 lines
326 B
Text
16 lines
326 B
Text
(rule
|
|
(targets reg_model_lra1.out)
|
|
(deps
|
|
(:file reg_model_lra1.smt2)
|
|
(:main ../../../src/main/main.exe))
|
|
(action
|
|
(with-stdout-to
|
|
%{targets}
|
|
(bash "%{main} %{file} | tail -n +2"))))
|
|
|
|
(rule
|
|
(alias runtest)
|
|
(locks /test)
|
|
(package sidekick-bin)
|
|
(action
|
|
(diff reg_model_lra1.out.expected reg_model_lra1.out)))
|