Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
12345678910111213141516171819202122232425262728293031323334353637; File auto-generated by gentests.ml
; Auto-generated part begin; Test for let.smt2; Incremental test
(rule (target let.incremental) (deps (:input let.smt2)) (package dolmen_bin) (action (chdir %{workspace_root} (with-outputs-to %{target} (with-accepted-exit-codes (or 0 (not 0)) (run dolmen --mode=incremental --color=never %{input} %{read-lines:flags.dune}))))))(rule (alias runtest) (package dolmen_bin) (action (diff let.expected let.incremental)))
; Full mode test
(rule (target let.full) (deps (:input let.smt2)) (package dolmen_bin) (action (chdir %{workspace_root} (with-outputs-to %{target} (with-accepted-exit-codes (or 0 (not 0)) (run dolmen --mode=full --color=never %{input} %{read-lines:flags.dune}))))))(rule (alias runtest) (package dolmen_bin) (action (diff let.expected let.full)))
; Auto-generated part end