baseFreshOverride | Crux.Overrides |
baseFreshOverride' | Crux.Overrides |
benchmarkName | Crux.SVCOMP |
BenchmarkSet | |
1 (Type/Class) | Crux.SVCOMP |
2 (Data Constructor) | Crux.SVCOMP |
benchmarkTasks | Crux.SVCOMP |
bldDir | Crux.Config.Common, Crux |
Boolean | Crux.SVCOMP.Witness |
Boolector | Crux.Config.Solver |
bracketedText | Crux.SVCOMP |
Branch | Crux.Types |
branchCoverage | Crux.Config.Common, Crux |