ltlfilt segfault
./bin/ltlfilt --rec -f'(Gp0 | Fp1) M 1'
segfaults on branch next.
Gdb complains in file strength.cc at line 58, so it seems that 8e19d3f4 is buggy.
./bin/ltlfilt --rec -f'(Gp0 | Fp1) M 1'
segfaults on branch next.
Gdb complains in file strength.cc at line 58, so it seems that 8e19d3f4 is buggy.