test/lbt.test fail due to MacOs sed
Running lbt.test fails on a fresh install of MacOS (with dev tools + macport) with this
error:
+ sed 's/$/\r/' formulas.2
+ run 0 ltlfilt formulas.2ms --csv-escape --format=%L,%f
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n ''
+ ltlfilt formulas.2ms --csv-escape --format=%L,%f
ltlfilt:formulas.2ms:3: parse error:
>>> GF(a <-> XXb)r
^
syntax error, unexpected atomic proposition
>>> GF(a <-> XXb)r
...I suspect that the MacOs'sed version is broken and we should prefer gnu-sed.