Commit b1b9b2a7 authored by Benoît Barbot's avatar Benoît Barbot
Browse files

fix Makefile

parent 68fbacfd
Pipeline #2079 failed with stages
in 4 minutes and 36 seconds
dune build
ln -s _build/default/src/wordgen.exe wordgen
ocamlbuild -I src -use-ocamlfind -plugin-tag 'package(bisect_ppx-ocamlbuild)' wordgen.native
mv wordgen.native wordgen
cp wordgen.native wordgen
BISECT_COVERAGE=YES ocamlbuild -I src -use-ocamlfind -plugin-tag 'package(bisect_ppx-ocamlbuild)' -package yojson wordgen.native test.t/poly_unitaire.native
......@@ -219,7 +219,12 @@ let print_to_prism f def stateit arcit =
guard g3 target;
List.iter (fun r -> Format.fprintf f "&(%s'=0)" r) reset;
Format.fprintf f ";\n");
Format.fprintf f "endmodule\n"
Format.fprintf f "endmodule\n";
Format.fprintf f "label \"accepting\" = false ";
stateit (fun id (_,_,_,isfin) _ -> if isfin then Format.fprintf f "| (state=%i)" id);
Format.fprintf f ";\n"
let print =
Supports Markdown
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