Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229; File auto-generated by gentests.ml
; Auto-generated part begin; Test for builtin-sort.smt2; Incremental test
(rule (target builtin-sort.incremental) (deps (:input builtin-sort.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 builtin-sort.expected builtin-sort.incremental)))
; Full mode test
(rule (target builtin-sort.full) (deps (:input builtin-sort.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 builtin-sort.expected builtin-sort.full)))
; Test for builtin-term-const.smt2; Incremental test
(rule (target builtin-term-const.incremental) (deps (:input builtin-term-const.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 builtin-term-const.expected builtin-term-const.incremental)))
; Full mode test
(rule (target builtin-term-const.full) (deps (:input builtin-term-const.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 builtin-term-const.expected builtin-term-const.full)))
; Test for builtin-term-var.smt2; Incremental test
(rule (target builtin-term-var.incremental) (deps (:input builtin-term-var.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 builtin-term-var.expected builtin-term-var.incremental)))
; Full mode test
(rule (target builtin-term-var.full) (deps (:input builtin-term-var.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 builtin-term-var.expected builtin-term-var.full)))
; Test for def_fun_param.smt2; Incremental test
(rule (target def_fun_param.incremental) (deps (:input def_fun_param.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 def_fun_param.expected def_fun_param.incremental)))
; Full mode test
(rule (target def_fun_param.full) (deps (:input def_fun_param.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 def_fun_param.expected def_fun_param.full)))
; Test for def_fun_param2.smt2; Incremental test
(rule (target def_fun_param2.incremental) (deps (:input def_fun_param2.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 def_fun_param2.expected def_fun_param2.incremental)))
; Full mode test
(rule (target def_fun_param2.full) (deps (:input def_fun_param2.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 def_fun_param2.expected def_fun_param2.full)))
; Test for def_fun_rec_param.smt2; Incremental test
(rule (target def_fun_rec_param.incremental) (deps (:input def_fun_rec_param.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 def_fun_rec_param.expected def_fun_rec_param.incremental)))
; Full mode test
(rule (target def_fun_rec_param.full) (deps (:input def_fun_rec_param.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 def_fun_rec_param.expected def_fun_rec_param.full)))
; Test for redefinition.smt2; Incremental test
(rule (target redefinition.incremental) (deps (:input redefinition.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 redefinition.expected redefinition.incremental)))
; Full mode test
(rule (target redefinition.full) (deps (:input redefinition.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 redefinition.expected redefinition.full)))
; Auto-generated part end