Commit a343147e authored by Francois Bobot's avatar Francois Bobot

correction de la cible test

parent 51f20ce0
......@@ -136,7 +136,7 @@ bin/top: $(CMO)
ocamlmktop $(BFLAGS) -o $@ $^
test: bin/why.byte
ocamlrun -bt bin/why.byte --print-simplify-recursive -I lib/prelude/ src/test.why
ocamlrun -bt bin/why.byte --print-stdout -I lib/prelude/ src/test.why
# graphical interface
#####################
......
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