Open PeterJCLaw opened 3 years ago
Even just a basic test that running srcomp-mixtape works and prints the help output would catch a lot of basic issues.
srcomp-mixtape
Even just a basic test that running
srcomp-mixtape
works and prints the help output would catch a lot of basic issues.