Project

General

Profile

Edit Actions
Copy link

Bug #84

closed

kind2 output : "real when true(_isEnabled_clock)" => "real"

Added by Hamza Bourbouh over 2 years ago. Updated 4 months ago.

Status:
Closed
Priority:
Normal
Assignee:
Pierre-Loïc Garoche
Category:
Bug
Start date:
07/16/2019
Due date:
% Done:

100%

Estimated time:
(Total: 0.00 h)
Quote

Description

Generating MC-DC on the attached file generates a normalized variables with type "real when true(_isEnabled_clock)".
Is it possible to print it with "real" when "-kind2" options is given.

Files

Clock_PP.LUSTREC.lus (1.65 KB) Clock_PP.LUSTREC.lus Hamza Bourbouh, 07/16/2019 10:52 PM

Subtasks 2 (0 open — 2 closed)

Bug #85: lustrev failedClosedPierre-Loïc Garoche07/16/2019

Actions
Bug #86: lustrev ne se termine pasClosedPierre-Loïc Garoche07/16/2019

Actions
QuoteActions
Copy link
 #1

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

  • Status changed from New to Closed

Solved in commit 629392e16f26aaf7d2

Edit Actions
Copy link

Also available in: Atom PDF