Project

General

Profile

Bug #90

Lustrec error is unreadable

Added by Hamza Bourbouh 27 days ago. Updated 21 days ago.

Status:
Closed
Priority:
High
Category:
Bug
Start date:
11/14/2019
Due date:
% Done:

0%


Description

lustrec -lusi NLGuidanceSpec.lus
Raised at file "parsing.ml", line 183, characters 8-17
Called from file "parsers/parse.ml", line 60, characters 14-42
Called from file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_compiler.ml", line 139, characters 4-37
Fatal error: exception File "location.ml", line 39, characters 2-8: Assertion failed
Raised at file "parsing.ml", line 183, characters 8-17
Called from file "parsers/parse.ml", line 60, characters 14-42
Called from file "arg.ml", line 281, characters 4-31
Called from file "main_lustre_compiler.ml", line 139, characters 4-37

NLGuidanceSpec.lus (3.04 KB) Hamza Bourbouh, 11/14/2019 02:34 AM

History

#1 Updated by Pierre-Loïc Garoche 21 days ago

  • Status changed from New to Closed
Comment

solved in lustrec-seal 94a9e2c3e99071700d91dbd56a9

Also available in: Atom PDF