b13.vhd: too long elaboration time
Published in build:
It takes more than 24 hours from SMV model checker at Jenkins server to complete HlddXmvPrinterTestCase.
The problem is in b13.vhd file.
It would be useful to analyze the generated SMV file and try to determine the part which is so time-consuming for model checker.
- Target version changed from 0.1 to 0.2
- Detected in build changed from svn to master
- Target version changed from 0.2 to 1.0
- Status changed from New to Resolved
- % Done changed from 0 to 100
- Published in build set to 1.1.1-beta-190722
- Status changed from Resolved to Closed
Also available in: Atom