Skip to content

Pass formula to ltlsynt via STDIN instead of arg#76

Open
lucasoethe wants to merge 1 commit into
Barnard-PL-Labs:masterfrom
embedded-software-laboratory:ltlsynt-stdin
Open

Pass formula to ltlsynt via STDIN instead of arg#76
lucasoethe wants to merge 1 commit into
Barnard-PL-Labs:masterfrom
embedded-software-laboratory:ltlsynt-stdin

Pass formula to ltlsynt via STDIN instead of arg

04d299d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs