Dear Spot Fans,

It is frustrating that I encountered some problems when using ltlcross. I have  implemented a tool to get BA from LTL formula. Then I want to use ltlcross to compare spot with my tools. When I ran the ltlcross, I got the following result：//failed to create lcr-o0-fdbDS4

Besides, I tried the following and still failed：//failed to create lcr-o0-kSl51L

I sincerely hope you can help to see my question I would appreciate it if I could get some guidance on the use of ltlcross from you. Looking forward to your reply!

Best Regards!

Shengping Shaw, ECNU