Actions
Task #9564
closedtests for EBMC tool
Start date:
03/25/2019
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
Updated by Sergey Smolov about 5 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Script that runs EBMC on all the benchmark Verilog modules is implemented.
Done in e2e836ce.
Updated by Sergey Smolov about 5 years ago
- Status changed from Resolved to Closed
Actions