Actions
Bug #5987
closedHandling situations when TestBase fails to generate test data (e.g. constraint is UNSAT)
Start date:
05/27/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
150605
Description
The situation when TestBase fails to provide data for a test situation should be handled in the following way:
- A warning message explaining the reason must be printed.
- Some default data (e.g zero) must be provided. Leaving a resource (register) uninitialized is incorrect.
Now MicroTESK prints an abrupt message and leaves the resources uninitialized.
Actions