Skip to content

Change executable name from echidna-test to echidna#826

Merged
arcz merged 5 commits intomasterfrom remove-test-prefixFeb 7, 2023