Commit bf5e8658 authored by POTTIER Francois's avatar POTTIER Francois

Update the test script to take [bad/*.flags] files into account.

parent c2584813
......@@ -194,10 +194,16 @@ let process_negative_test basenames : unit =
(* The output is stored in this file. *)
let result = id ^ ".result" in
(* Extra flags. *)
let flags = id ^ ".flags" in
let flags =
if file_exists (bad_slash flags) then sprintf "`cat %s`" flags else ""
in
(* Run Menhir in the directory bad/. *)
let cmd = sep (
"cd" :: bad :: "&&" ::
menhir :: base :: mlys basenames @ sprintf ">%s" result :: "2>&1" :: []
menhir :: base :: flags :: mlys basenames @ sprintf ">%s" result :: "2>&1" :: []
) in
if command cmd = 0 then
fail id "menhir should not accept %s.\n" (thisfile basenames);
......
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