7.3. Running Tests🔗

All tests are built as Lake executables. To run the full default test suite:

lake build

This builds all 415 jobs (zero warnings) including all test executables listed in defaultTargets. Individual suites can be run directly:

lake exe specexamples
lake exe scannertests
lake exe adversarialtests

Test results are captured in docs/ as both plain text and HTML reports.