#903 CIF/BDD: fixes and robustness for large integers.
- Best to review per commit.
- End-user visible changes:
- CIF data-based synthesis and CIF controller properties checker no longer support models with discrete/input variables with an integer type with a range that includes value 2,147,483,647 (max int), preventing crashes.
- CIF data-based synthesis and CIF controller properties checker now print debug output for models with large integer values that is proper (no overflown values etc) and has improved readability (thousand separators added).
- Other changes
- Various extra assertions.
- Improved/extended JavaDocs/comments.
Closes #903 (closed)
Edited by Dennis Hendriks