- More systematic translation for mutation- copy_var_decl now keeps the generated type
Mutation translates now ids in cocospec import
mutation bug solved: improper access to an element of an empty list of bindings
Removed Contract contruct: imported node should be enough. Solved some warning at compile time
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
[lustret] improved enumeration of mutants
[lustret] More effective mutants generation Solved the misrenaming of imported nodes (eg int_to_real)
[mutations] solved issues with - mutations that could not be performed (ie. changing an integer constants when no integer constant appear in the program) - infinite computation of mutants, because of unproper randomization.
[general] Refactor get_node_eqs to produce (eqs, auts) with automatons
[lustret] Improved mutation with json traceability
Cleaning output:- no more classic display for ocamlc- compilation warnings removed
This is the first merge that does compile. Not tested yet.
first version (doesn't even compile) of mutation and test generation standalone command: lustretmostly a recovery of an ancient svn repo: mutations