Bug #59
closedLustret failed
0%
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 5 years ago
- Status changed from New to Resolved
Solved in commit 87dd79374749a5c79
Updated by Pierre-Loïc Garoche almost 5 years ago
- Status changed from Resolved to Closed
Updated by Anonymous 7 months ago
Have you ever considered what would happen if you threw a bowling ball down a one-way track in a universe? Slope game is a racing game on big slopes in which you try to get the highest score possible. You will be fighting the course, which will change in a variety of ways. It's a pretty intense little game, and it's a bit addictive at times.
Updated by Anonymous 6 months ago
Thank you for posting this article. I act as a test user of game sites to check the safety of those game sites, I noticed a game that is being played a lot by students and is quite safe for everyone. Game <a href="https://runaway3d.com/">run 3</a> a fun game with real racing tracks. It is a popular game that attracts people of all genders and ages.
Updated by Anonymous 6 months ago
[url=https://runaway3d.com/]run 3[/url] is a racing game on big slopes in which you try to get the highest score possible. You will be fighting the course, which will change in a variety of ways. It's a pretty intense little game, and it's a bit addictive at times.