ltlsynt --tlsf=filename
Eventually, ltlfilt
should support receiving a TLSF file and calling syfco
by itself.
In SyntComp'21 our handling of robot_grid16_16.tlsf
failed with
./call_ltlsynt_real: line 18: ../source/spot-2.9.7.dev/bin/ltlsynt: Argument list too long
If ltlfilt
calls syfco
directly, we should avoid that.