Bug #81
Example with Enumeration is not supported by Lustrev
0%
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
History
#1 Updated by Hamza Bourbouh over 1 year ago
- Status changed from New to Closed