EBMC fails to read SMV files with . in name #23
Description
for example the attached smv model fails with
Parsing counter.aig.smv
file counter.aig.smv line 2: syntax error before `9'
PARSING ERROR
on both 4.4. and 4.2
counter.zip
{{ message }}
EBMC fails to read SMV files with