Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071; File auto-generated by gentests.ml
; Auto-generated part begin; Test for partial_1.ae; Full mode test
(rule (target partial_1.full) (deps (:input partial_1.ae)) (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 partial_1.expected partial_1.full)))
; Test for partial_2.ae; Full mode test
(rule (target partial_2.full) (deps (:input partial_2.ae)) (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 partial_2.expected partial_2.full)))
; Test for partial_3.zf; Incremental test
(rule (target partial_3.incremental) (deps (:input partial_3.zf)) (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 partial_3.expected partial_3.incremental)))
; Full mode test
(rule (target partial_3.full) (deps (:input partial_3.zf)) (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 partial_3.expected partial_3.full)))
; Auto-generated part end