add output references
Script now compare the output with ones compiled with the same options
Improved the diff tests: a new option allow to use the java test parameterized by epsilon (precision). Default bnehavior is using regular diff on files
More functions
EMF validation
- cmake compare becomes regular diff so output is printed- updated reference value to default 15 digits
Improving Zustre output check
update automata/with_prop folder
factorize kind_fmcad08 in one cmake file
add strategie 1