Bug #59
closedLustret failed
Start date:
12/08/2017
Due date:
% Done:
0%
Estimated time:
Description
La commande:
lustret -I /path_to_lustrec/include/lustrec -nb-mutants 500 -node Add_PP -d build Add_PP.lus
Raised by primitive operation at file "arg.ml", line 259, characters 4-31
Called from file "main_lustre_testgen.ml", line 153, characters 4-37
Fatal error: exception File "mutation.ml", line 557, characters 11-17: Assertion failed
Raised by primitive operation at file "arg.ml", line 259, characters 4-31
Called from file "main_lustre_testgen.ml", line 153, characters 4-37
Files
Updated by Pierre-Loïc Garoche almost 4 years ago
- Status changed from New to Resolved
Solved in commit 87dd79374749a5c79
Updated by Pierre-Loïc Garoche almost 4 years ago
- Status changed from Resolved to Closed