Addressed a TODO in MCDC Pathconditions: simpler condition for single expression
Bug solved in MCDC generation: Some annotations generated were producing problems
Produce condition coverage for basic boolean expressions. To be improved with a simpler condition.
[lustrec/mcdc/ improved the MCDC output
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8) typing was transformed as a functor and parametrized by basic types (int/real/bool) it can also be applied multiple times on the same program
[MCDC] Solved some issues and transformed the code from iterators to fold
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