`make test` now runs expensive tests.
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.)
Showing
Please register or sign in to comment