cafejojo/schaapi

Optionally skip compilation step

FWDekker opened this issue · 0 comments

When running Schaapi multiple times in succession (e.g. because the first run crashed during pattern matching) a user may already have the compiled Maven projects. As a result, recompiling the projects would be a waste of time. There should be a CLI option (or some sort of automatic detection) that suppresses the compilation step.