You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Mar 28, 2018. It is now read-only.
We should also note that that command not only builds the necessary test files, but will run them as well (which is not mentioned in the current documentation).
Ideally the preprocess and run actions would be separate steps in the Makefile, and then we could document them as such (obviously with the generate step being a dependence of the run step - so run would do a generate and then run) - that would also be really useful for developers (to be able to do the generate step separately from the run step), so they can then run individual tests by hand - but, that is a fix for another day.