Bug #86
closedBug #84: kind2 output : "real when true(_isEnabled_clock)" => "real"
lustrev ne se termine pas
Start date:
07/16/2019
Due date:
% Done:
0%
Estimated time:
Description
node Abs1_PP(
In1_1 : int;)
returns(
Out1_1 : int; );
var
Abs_1 : int;
let
Abs_1 = (if (In1_1 >= 0) then
In1_1
else (- In1_1));
Out1_1 = Abs_1;
tel
Updated by Pierre-Loïc Garoche over 2 years ago
- Status changed from New to Closed
The example was not looping but generating an assert false
commit 72a93147f