Actions
Feature #7665
closedassert support
Start date:
11/01/2016
Due date:
% Done:
100%
Estimated time:
Published in build:
2.4.14
Description
Specification can contain asserts to mark weird situations. MicroTESK's nML is suggested to support this construction but with an ability of disabling.
Updated by Andrei Tatarnikov over 7 years ago
- Status changed from New to Resolved
- Target version set to 2.4
- % Done changed from 0 to 100
Done - r8163, r8164, r8165. Syntax is the following:
assert(GPR[0] == 0);
assert(GPR[0] == 0, "GPR[0] must be equal 0");
When an assertion fails, generation is aborted. Assertions can be enabled using the following option:
-ae,--asserts-enabled - Enables assertion checks during simulation [works with -g], default=false
Updated by Andrei Tatarnikov over 7 years ago
- Status changed from Resolved to Closed
- Published in build set to 2.4.14
Actions