Commit c3679d9a authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Add some bad full tests.

parent 41438ccc
;Taken from Menhir's test directory, all credits to F. Pottier and Y. Regis-Gianas
(rule
(target dune.auto.gen)
(deps (glob_files *.cd))
(action (with-stdout-to %{target} (run ../src/gen_dune.exe --kind bad %{deps})))
)
(include dune.auto)
(rule
(alias depend)
(action (diff dune.auto dune.auto.gen))
)
; begin: integer_bad_div.cd
(rule (deps integer_bad_div.cd) (target integer_bad_div.cdo)
(action (with-accepted-exit-codes 0 (run cduce --compile %{deps}))))
(rule (deps integer_bad_div.cdo) (target integer_bad_div.out)
(action (with-outputs-to %{target} (with-accepted-exit-codes (not 0) (run cduce --run %{deps})))))
(rule (alias integer_bad_div) (action (diff integer_bad_div.exp integer_bad_div.out)))
; end: integer_bad_div.cd
; begin: integer_bad_mod.cd
(rule (deps integer_bad_mod.cd) (target integer_bad_mod.cdo)
(action (with-accepted-exit-codes 0 (run cduce --compile %{deps}))))
(rule (deps integer_bad_mod.cdo) (target integer_bad_mod.out)
(action (with-outputs-to %{target} (with-accepted-exit-codes (not 0) (run cduce --run %{deps})))))
(rule (alias integer_bad_mod) (action (diff integer_bad_mod.exp integer_bad_mod.out)))
; end: integer_bad_mod.cd
(alias (name runtest)
(deps
(source_tree ../common)
(alias integer_bad_div)
(alias integer_bad_mod)
))
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment