Project

General

Profile

Edit

Bug #81

Example with Enumeration is not supported by Lustrev

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

Status:
Closed
Priority:
Normal
Assignee:
Pierre-Loïc Garoche
Category:
Bug
Start date:
07/13/2019
Due date:
% Done:

0%

Quote

Description

lustrev failed for model "DaysEnum_PP.LUSTREC"
Raised at file "hashtbl.ml", line 194, characters 13-28
Called from file "tools/seal/seal_extract.ml", line 877, characters 22-61
Called from file "list.ml", line 100, characters 12-15
Called from file "tools/seal/seal_extract.ml", line 872, characters 4-300
Called from file "tools/seal/seal_verifier.ml", line 69, characters 46-88
Called from file "main_lustre_verifier.ml", line 99, characters 2-41
Called from file "arg.ml", line 261, characters 11-20
Called from file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_verifier.ml", line 133, characters 4-37
Fatal error: exception Not_found
Raised at file "hashtbl.ml", line 194, characters 13-28
Called from file "tools/seal/seal_extract.ml", line 877, characters 22-61
Called from file "list.ml", line 100, characters 12-15
Called from file "tools/seal/seal_extract.ml", line 872, characters 4-300
Called from file "tools/seal/seal_verifier.ml", line 69, characters 46-88
Called from file "main_lustre_verifier.ml", line 99, characters 2-41
Called from file "arg.ml", line 261, characters 11-20
Called from file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_verifier.ml", line 133, characters 4-37

DaysEnum_PP.LUSTREC.lus (4.22 KB) Hamza Bourbouh, 07/13/2019 12:45 AM

History

#1 Updated by Hamza Bourbouh about 2 years ago

  • Status changed from New to Closed
Comment

fixed in lustrec-seal branch commit 73a4995aff22

Edit

Also available in: Atom PDF