Index - P
parseArch | Crux.SVCOMP |
parsePosNum | Crux.Config, Crux |
parseSolverConfig | Crux.Config.Solver |
pathSatSolver | Crux.Config.Common, Crux |
pathSatSolverOutput | Crux.Config.Common, Crux |
PathStrategy | Crux.Config.Common |
pathStrategy | Crux.Config.Common, Crux |
PathsUnexplored | Crux.Log, Crux |
postprocessOptions | Crux.Config.Common |
postprocessSimResult | Crux |
ppConfigError | Crux.Config.Load |
ppWitness | Crux.SVCOMP.Witness |
prepStatus | Crux.ProgressBar |
printFailures | Crux.Config.Common |
printSymbolicVars | Crux.Config.Common |
ProcessedGoals | |
1 (Type/Class) | Crux.Types |
2 (Data Constructor) | Crux.Types |
processSVCOMPOptions | Crux.SVCOMP |
profileCrucibleFunctions | Crux.Config.Common, Crux |
profileOutputInterval | Crux.Config.Common, Crux |
profileSolver | Crux.Config.Common, Crux |
ProgramComplete | Crux.Types |
ProgramCompleteness | Crux.Types |
ProgramIncomplete | Crux.Types |
proofGoalsFailFast | Crux.Config.Common, Crux |
ProofObligations | Crux.Log, Crux |
ProofResult | Crux.Types |
propertyVerdict | Crux.SVCOMP |
propParse | Crux.SVCOMP |
Proved | Crux.Types |
ProvedGoal | Crux.Types |
provedGoalFiles | Crux.Report |
provedGoalLocs | Crux.Report |
ProvedGoals | Crux.Types |
provedGoals | Crux.Types |
provedGoalsTree | Crux.Goal |
provedGoalTraces | Crux.Report |
proveGoalsOffline | Crux.Goal |
proveGoalsOnline | Crux.Goal |
ProverCallback | Crux.Goal |
ProverMilestoneCallbacks | Crux.ProgressBar |
proverMilestoneCallbacks | Crux.Goal |
ProverMilestoneEndGoal | Crux.ProgressBar |
ProverMilestoneFinish | Crux.ProgressBar |
ProverMilestoneStartGoal | Crux.ProgressBar |
proveToGoal | Crux.Goal |