Test Naming Conventions
Test file names encode the expected verification outcome, enabling automatic pass/fail detection.
Golden Files
Golden files store expected verification outputs for regression testing. When you run tests, actual outputs are compared against these reference files to detect unintended changes.
Test Levels
Sector9 organizes verification tests into numbered levels that progress from simple to complex, helping developers understand what verification features are being tested and at what difficulty.