Open jacopol opened 5 years ago
lps2lts-mc --procs=2 abp.lps abp.gcf ltsmin-convert --rdwr --filter=action_labels abp.gcf abp.aut
ltsmin-convert: loading from abp.gcf ltsmin-convert, error : short read 0/4096 from abp.gcf at 0
The problem seems to be that the conversion to aut doesn't work for a gcf with multiple segments. Is there a workaround? Can ltsmin-convert be extended?
ltsmin-convert: loading from abp.gcf ltsmin-convert, error : short read 0/4096 from abp.gcf at 0
The problem seems to be that the conversion to aut doesn't work for a gcf with multiple segments. Is there a workaround? Can ltsmin-convert be extended?