Project

General

Profile

Edit Actions

Bug #90

closed

Lustrec error is unreadable

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

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

0%

Estimated time:

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


Files

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

Updated by Pierre-Loïc Garoche almost 2 years ago

  • Status changed from New to Closed

solved in lustrec-seal 94a9e2c3e99071700d91dbd56a9

Edit Actions

Also available in: Atom PDF