Bug #84
kind2 output : "real when true(_isEnabled_clock)" => "real"
Start date:
07/16/2019
Due date:
% Done:
100%
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.
Subtasks
History
#1 Updated by Pierre-Loïc Garoche almost 2 years ago
- Status changed from New to Closed