Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We use make test as the measure of correctness. This laxity has let bugs creep into several systems. This commit changes our target to always run expensive tests, unless one specifically runs `make test_short` (we would do well to remove most if not all timing-- that's usually what makes tests take a long time.)
- Loading branch information
21e2b9b
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
now we have to consciously deceive ourselves with
make test_short