Project

General

Profile

Revision 5d5139a5 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
55 55
  
56 56
  if !Options.gen_mcdc then (
57 57
    let prog_mcdc = PathConditions.mcdc prog in
58
  let _, type_env, _ = import_dependencies prog_mcdc in
58
    let _, type_env, _ = import_dependencies prog_mcdc in
59 59

  
60 60
    let _ = type_decls type_env prog_mcdc in
61 61

  
......
130 130
  Format.fprintf cmake_fmt "LUSTREFILES(LFILES ${CMAKE_CURRENT_SOURCE_DIR} )@.";
131 131
  Format.fprintf cmake_fmt "@[<v 2>FOREACH(lus_file ${LFILES})@ ";
132 132
  Format.fprintf cmake_fmt "get_lustre_name_ext(${lus_file} L E)@ ";
133
  Format.fprintf cmake_fmt "Lustre_Compile(@[<v 0>NODE \"top_mutant\"@ ";
134
  Format.fprintf cmake_fmt "LIBNAME \"${L}_top_mutant\"@ ";
133
  Format.fprintf cmake_fmt "Lustre_Compile(@[<v 0>@ ";
134
  if !Options.main_node <> "" then Format.fprintf cmake_fmt "NODE \"%s_mutant\"@ " !Options.main_node;
135
  Format.fprintf cmake_fmt "LIBNAME \"${L}_%s_mutant\"@ " !Options.main_node;
135 136
  Format.fprintf cmake_fmt "LUS_FILES \"${lus_file}\")@]@]@.";
136 137
  Format.fprintf cmake_fmt "ENDFOREACH()@.@?";
137 138
  

Also available in: Unified diff