Project

General

Profile

Revision a0c92fa8 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
46 46
  (* Parsing source *)
47 47
  let prog = parse source_name extension in
48 48
  let params = Backends.get_normalization_params () in
49
  let prog, dependencies = Compiler_stages.stage1 params prog dirname basename extension in
50

  
49
  let prog, dependencies =
50
    try
51
      Compiler_stages.stage1 params prog dirname basename extension 
52
   with Compiler_stages.StopPhase1 prog -> (
53
      if !Options.print_nodes then (
54
        Format.printf "%a@.@?" Printers.pp_node_list prog;
55
        exit 0
56
      )
57
      else
58
        assert false
59
    )
60
 in
61
  
51 62
  (* Two cases
52 63
     - generation of coverage conditions
53 64
     - generation of mutants: a number of mutated lustre files 

Also available in: Unified diff