Parser exhausts memory on large SMV files (converted from AIG) #18
Description
on the attached .smv from AIG_SMV_08 benchmark, ebmc 4.2 and current 4.4 fail with
Parsing intel048.aig.smv
file intel048.aig.smv line 271364: memory exhausted before `a471304'
PARSING ERROR
due to bison exhausting its memory