Revision 3e1d20e0 - [MCDC] Solved some issues and transformed the code from iterators to fold - LustreC

« Previous | Next »

Revision 3e1d20e0

ID	3e1d20e05c22094981f9dc271b015ffa498c97ed
Parent	ef8ef3ed
Child	db7468fd

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

[MCDC] Solved some issues and transformed the code from iterators to fold

Files

added
modified
copied
renamed
deleted

View differences

src
- corelang.ml (diff)
- corelang.mli (diff)
- main_lustre_testgen.ml (diff)
- pathConditions.ml (diff)