Project

General

Profile

Bug #67

Lusi generation failed because of parser in unstable branch

Added by Hamza Bourbouh over 1 year ago. Updated over 1 year ago.

Status:
Closed
Priority:
Normal
Category:
Bug
Start date:
06/09/2018
Due date:
% Done:

0%


Description

lustrec -lusi lustrec-tests/regression_tests/lustre_files/success/machine_types/kind_fmcad/two_counters.lus
.. parsing source file /Users/hbourbou/Documents/cavale.enseeiht.fr/lustrec-tests/regression_tests/lustre_files/success/machine_types/kind_fmcad/two_counters.lus
Lexing error at position l1 c32:
unexpected token "
Raised at file "parsing.ml", line 183, characters 14-17
Called from file "arg.ml", line 254, characters 2-72
Fatal error: exception File "src/location.ml", line 39, characters 2-8: Assertion failed
Raised at file "parsing.ml", line 183, characters 14-17
Called from file "arg.ml", line 254, characters 2-72

History

#1 Updated by Pierre-Loïc Garoche over 1 year ago

  • Status changed from New to Closed
Comment

Temporary disabling of Mehnir and Kind2 parser for annotation. Still work in progress.

Also available in: Atom PDF