Thanks so much Mike - I find flex/bison so confusing, but I'm glad we managed to...
Cioma - I'll go one better, I've fixed the original Bison .y file. The weird thing...
Don't worry - I fixed it! I think it's the same problem you found. Line 1494 of svf_bison.c,...
Hi cioma, thanks for the awesome follow up. It did indeed fix the issue I reported....
SEGFAULT when using BSDL files