Project

General

Profile

« Previous | Next » 

Revision 5d5139a5

Added by Pierre-Loïc Garoche over 7 years ago

[lustret] More effective mutants generation
Solved the misrenaming of imported nodes (eg int_to_real)

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