Feature #7665
closed
Added by Mikhail Chupilko over 7 years ago.
Updated about 7 years ago.
Assignee:
Andrei Tatarnikov
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.
- 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
- Status changed from Resolved to Closed
- Published in build set to 2.4.14
Also available in: Atom
PDF