Project

General

Profile

Edit

Bug #59

Lustret failed

Added by Hamza Bourbouh about 2 years ago. Updated about 2 years ago.

Status:
Closed
Priority:
High
Assignee:
Xavier Thirioux
Category:
Bug
Start date:
12/08/2017
Due date:
% Done:

0%

Quote

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

Add_PP.lus (3.38 KB) Hamza Bourbouh, 12/08/2017 02:10 AM

History

#1 Updated by Pierre-Loïc Garoche about 2 years ago

  • Status changed from New to Resolved
Comment

Solved in commit 87dd79374749a5c79

#2 Updated by Pierre-Loïc Garoche about 2 years ago

  • Status changed from Resolved to Closed
Edit

Also available in: Atom PDF