Skip to content

Fix a bug when the automaton contain trivial acceptance conditions#14

Open
lou1306 wants to merge 2 commits into
whitemech:masterfrom
lou1306:pr-no-acceptance
Open

Fix a bug when the automaton contain trivial acceptance conditions#14
lou1306 wants to merge 2 commits into
whitemech:masterfrom
lou1306:pr-no-acceptance

Fix the bug

80b7b30
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs