Project

General

Profile

Edit

Bug #84

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

Added by Hamza Bourbouh about 1 month ago. Updated about 1 month ago.

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

100%

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.

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

Subtasks

Bug #85: lustrev failedClosedPierre-Loïc Garoche

Bug #86: lustrev ne se termine pasClosedPierre-Loïc Garoche

History

#1 Updated by Pierre-Loïc Garoche about 1 month ago

  • Status changed from New to Closed
Comment

Solved in commit 629392e16f26aaf7d2

Edit

Also available in: Atom PDF