Project

General

Profile

Bug #64

Typing error

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

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
02/28/2018
Due date:
% Done:

0%


Description

lustrec -d build Product_PP.lus
.. parsing source file ./Product_PP.lus
.. Phase 1 : Normalisation
.. expanding automata
.. extracting dependencies
Library /Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/lustrec/include/lustrec/conv
.. checking stateless/stateful status
.. typing
.. clock calculus
.. generating compiled header file build/Product_PP.lusic
.. normalization
Failure in typing expr int_to_real. Not in typing environement
Called from file "arg.ml", line 214, characters 2-73
Fatal error: exception Types.Make(BasicT).Error(_, _)
Called from file "arg.ml", line 214, characters 2-73

Product_PP.lus (404 Bytes) Hamza Bourbouh, 02/28/2018 12:59 AM

History

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

  • Status changed from New to Resolved
Comment

Not a typing error in secret unstable branch

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

  • Status changed from Resolved to Closed

Also available in: Atom PDF