17 Jun
2019
17 Jun
'19
8:41 p.m.
Hello, While running tests for SYNTCOMP 2019 we found that ltlsynt outputs an incorrect controller on one of our benchmarks: simple_arbiter_enc_2.tlsf (available from https://bitbucket.org/swenjacobs/syntcomp/src/master/SelectedBenchmarks2018/...) I am calling the tool with --aiger --algo=lar and using iimc as our model checker. Best, Guillermo