Directories
¶
| Path | Synopsis |
|---|---|
|
Package buildinfo reports which version of SpecCritic is running.
|
Package buildinfo reports which version of SpecCritic is running. |
|
Package cache stores finished reviews on disk, keyed by everything that shapes them, so an unchanged spec reviewed again with unchanged settings costs nothing and gets the same verdict.
|
Package cache stores finished reviews on disk, keyed by everything that shapes them, so an unchanged spec reviewed again with unchanged settings costs nothing and gets the same verdict. |
|
Package eval measures how well SpecCritic reviews specifications whose defects are known in advance.
|
Package eval measures how well SpecCritic reviews specifications whose defects are known in advance. |
|
Package evidence checks the evidence a model cites against the spec it was shown.
|
Package evidence checks the evidence a model cites against the spec it was shown. |
|
Package verify gives every CRITICAL finding a second look before it can decide a verdict.
|
Package verify gives every CRITICAL finding a second look before it can decide a verdict. |
Click to show internal directories.
Click to hide internal directories.