deduplicateTasks | Crux.SVCOMP |
defaultColorOptions | Crux.Config.Load |
defaultOutputConfig | Crux |
defaultOutputOptions | Crux.Config.Common |
delayOpt | Crux.Config.Load |
dirSpec | Crux.Config, Crux |
DisablingBranchCoverageRequiresPathSatisfiability | Crux.Log, Crux |
DisablingProfilingIncompatibleWithPathSplitting | Crux.Log, Crux |
dispatchSolversOnGoalAsync | Crux.Goal |
disprovedGoals | Crux.Types |
Double | Crux.SVCOMP.Witness |
DReal | Crux.Config.Solver |