Pass formula to ltlsynt via STDIN instead of arg

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format

Other

7 stars 4 forks source link

Pass formula to ltlsynt via STDIN instead of arg #76

Open lucasoethe opened 1 week ago

lucasoethe commented 1 week ago

On Linux the maximum size of the command line is limited. This limits the size of the formula tsltools can pass to ltlsynt. Passing the formula via STDIN circumvents this limit.