search

reactive-systems / syfco

Synthesis Format Conversion Tool
MIT License
23 stars 12 forks source link

Strong-next translation error on TLSF over infinite traces #53

Open gaperez64 opened 5 months ago

gaperez64 commented 5 months ago

The tool complains about strong next not being an option for ltlxba as output format, for example.

input file: https://raw.githubusercontent.com/SYNTCOMP/benchmarks/master/tlsf/ltl_f/generated_TLSF/finding_nemo_1.tlsf

command to reproduce:

./syfco finding_nemo_4.tlsf -f ltlxba -m fully