Pass formula to ltlsynt via STDIN instead of arg#76

lucasoethe wants to merge 1 commit into

Barnard-PL-Labs:masterBarnard-PL-Labs/tsltools:masterfrom

embedded-software-laboratory:ltlsynt-stdinembedded-software-laboratory/tsltools:ltlsynt-stdinCopy head branch name to clipboard