Skip to content

v1.4-19.dev0

Pre-release
Pre-release
Compare
Choose a tag to compare
@marcofavorito marcofavorito released this 25 Apr 09:37
f00d139

Release MONA artefacts by changing the following variables:

  • MAX_EXCEPTION set to 2000 (before it was 50)
  • MAX_VARIABLES set to 100 (before it was 10)
  • BDD_MAX_TOTAL_TABLE_SIZE set to 0x1000000000 (before it was 0x1000000)
  • YYLMAX set to a higher number 8388608