Index
| allColors | Crux.Config.Load |
| AlwaysMergePaths | Crux.Config.Common |
| annotate | Crux.Loops |
| annotateLoops | Crux.Loops |
| Arch | Crux.SVCOMP |
| Arch32 | Crux.SVCOMP |
| Arch64 | Crux.SVCOMP |
| archSpec | Crux.SVCOMP |
| ArgDescr | Crux.Config, Crux |
| AtPosition | Crux.Config.Load |
| AttemptingProvingVCs | Crux.Log, Crux |
| 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 |
| C | |
| 1 (Data Constructor) | Crux.SVCOMP |
| 2 (Data Constructor) | Crux.SVCOMP.Witness |
| CDataModel | Crux.SVCOMP |
| cfgCmdLineFlag | Crux.Config, Crux |
| cfgEnv | Crux.Config, Crux |
| cfgFile | Crux.Config, Crux |
| cfgJoin | Crux.Config, Crux |
| CheckDefBehavior | Crux.SVCOMP |
| Checking | Crux.Log, Crux |
| CheckNoError | Crux.SVCOMP |
| CheckNoOverflow | Crux.SVCOMP |
| checkParse | Crux.SVCOMP |
| checkPathSat | Crux.Config.Common, Crux |
| CheckTerminates | Crux.SVCOMP |
| CheckValidDeref | Crux.SVCOMP |
| CheckValidFree | Crux.SVCOMP |
| CheckValidMemCleanup | Crux.SVCOMP |
| CheckValidMemtrack | Crux.SVCOMP |
| children | Crux.Loops |
| ColorOptions | |
| 1 (Type/Class) | Crux.Config.Load |
| 2 (Data Constructor) | Crux.Config.Load |
| colorOptions | |
| 1 (Function) | Crux.Config.Load |
| 2 (Function) | Crux.Config.Common |
| commandLineOptions | Crux.Config.Load |
| compilePats | Crux.SVCOMP |
| ComputedVerdict | Crux.SVCOMP |
| ConditionFalse | Crux.SVCOMP.Witness |
| ConditionTrue | Crux.SVCOMP.Witness |
| Config | |
| 1 (Type/Class) | Crux.Config, Crux |
| 2 (Data Constructor) | Crux.Config, Crux |
| configDocs | Crux.Config.Doc |
| ConfigError | Crux.Config.Load |
| configFile | Crux.Config.Load |
| ConfigFileLoc | Crux.Config.Load |
| Control | Crux.SVCOMP.Witness |
| CorrectnessWitness | Crux.SVCOMP.Witness |
| countGoals | Crux.Goal |
| CoverageFQL | Crux.SVCOMP |
| coverParse | Crux.SVCOMP |
| Crux | Crux.Types, Crux |
| CruxLogMessage | Crux.Log, Crux |
| cruxLogMessageToSayWhat | Crux.Log, Crux |
| cruxLogTag | Crux.Log, Crux |
| CruxOptions | |
| 1 (Type/Class) | Crux.Config.Common, Crux |
| 2 (Data Constructor) | Crux.Config.Common, Crux |
| cruxOptions | Crux.Config.Common |
| CruxPersonality | Crux.Types, Crux |
| cruxSimResultCompleteness | Crux.Types |
| cruxSimResultGoals | Crux.Types |
| CruxSimulationResult | |
| 1 (Type/Class) | Crux.Types |
| 2 (Data Constructor) | Crux.Types |
| CVC4 | Crux.Config.Solver |
| CVC5 | Crux.Config.Solver |
| 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 |
| EarlyConfig | |
| 1 (Type/Class) | Crux.Config.Load |
| 2 (Data Constructor) | Crux.Config.Load |
| edgeAssumption | Crux.SVCOMP.Witness |
| edgeAssumptionResultFunction | Crux.SVCOMP.Witness |
| edgeAssumptionScope | Crux.SVCOMP.Witness |
| edgeControl | Crux.SVCOMP.Witness |
| edgeCreateThread | Crux.SVCOMP.Witness |
| edgeEndLine | Crux.SVCOMP.Witness |
| edgeEndOffset | Crux.SVCOMP.Witness |
| edgeEnterFunction | Crux.SVCOMP.Witness |
| edgeEnterLoopHead | Crux.SVCOMP.Witness |
| edgeReturnFromFunction | Crux.SVCOMP.Witness |
| edgeSource | Crux.SVCOMP.Witness |
| edgeStartColumn | Crux.SVCOMP.Witness |
| edgeStartLine | Crux.SVCOMP.Witness |
| edgeStartOffset | Crux.SVCOMP.Witness |
| edgeTarget | Crux.SVCOMP.Witness |
| edgeThreadId | Crux.SVCOMP.Witness |
| emptyModelView | Crux.Model |
| EndedGoal | Crux.Log, Crux |
| Entry | |
| 1 (Type/Class) | Crux.Types |
| 2 (Data Constructor) | Crux.Types |
| entryLoc | Crux.Types |
| entryName | Crux.Types |
| entryValue | Crux.Types |
| EnvDescr | Crux.Config, Crux |
| EnvVar | Crux.Config, Crux |
| evalModelFromEvents | Crux.Goal |
| evDoc | Crux.Config, Crux |
| evName | Crux.Config, Crux |
| evValue | Crux.Config, Crux |
| Explainer | Crux.Goal, Crux |
| Fail | Crux.Types, Crux.Log, Crux |
| FailedToParseFile | Crux.Config.Load |
| FailedToProcessFile | Crux.Config.Load |
| FailedToReadFile | Crux.Config.Load |
| Falsified | Crux.SVCOMP |
| files | Crux.Config.Load |
| fileSpec | Crux.Config, Crux |
| findLoops | Crux.Loops |
| Float | Crux.SVCOMP.Witness |
| floatMode | Crux.Config.Common, Crux |
| forceOfflineGoalSolving | Crux.Config.Common, Crux |
| Forest | Crux.Loops |
| FoundCounterExample | Crux.Log, Crux |
| fractionalSpec | Crux.Config, Crux |
| fromEnv | Crux.Config.Load |
| fromFile | Crux.Config.Load |
| Fun | Crux.Types |
| generateReport | Crux.Report |
| getNAbducts | Crux.Config.Common, Crux |
| getSimulatorCallbacks | Crux |
| globalTimeout | Crux.Config.Common, Crux |
| goalTimeout | Crux.Config.Common, Crux |
| GraphMLAttrType | Crux.SVCOMP.Witness |
| HasDefaultFloatRepr | Crux.Config.Solver |
| hashConsing | Crux.Config.Common, Crux |
| Help | Crux.Log, Crux |
| ILP32 | Crux.SVCOMP |
| incompleteGoals | Crux.Types |
| inNewFrame2 | Crux.Goal |
| inputFiles | Crux.Config.Common, Crux |
| Int | Crux.SVCOMP.Witness |
| InvalidCommandLine | Crux.Config.Load |
| InvalidEnvVar | Crux.Config.Load |
| isResourceExhausted | Crux.Goal |
| Java | |
| 1 (Data Constructor) | Crux.SVCOMP |
| 2 (Data Constructor) | Crux.SVCOMP.Witness |
| JS | |
| 1 (Type/Class) | Crux.UI.JS |
| 2 (Data Constructor) | Crux.UI.JS |
| jsBool | Crux.UI.JS |
| jsList | Crux.UI.JS |
| jsLoc | Crux.UI.JS |
| jsMaybe | Crux.UI.JS |
| jsNotProvedGoal | Crux.Report |
| jsNull | Crux.UI.JS |
| jsNum | Crux.UI.JS |
| jsObj | Crux.UI.JS |
| jsPath | Crux.Report |
| jsProvedGoal | Crux.Report |
| jsStr | Crux.UI.JS |
| liftEnvDescr | Crux.Config, Crux |
| liftOptDescr | Crux.Config, Crux |
| listSpec | Crux.Config, Crux |
| loadBenchmarkSet | Crux.SVCOMP |
| loadConfig | Crux.Config.Load |
| loadOptions | Crux |
| loadSVCOMPBenchmarks | Crux.SVCOMP |
| loadVerificationTask | Crux.SVCOMP |
| LogDoc | |
| 1 (Type/Class) | Crux.Log, Crux |
| 2 (Data Constructor) | Crux.Log, Crux |
| logException | Crux.Log, Crux |
| logGoal | Crux.Log, Crux |
| LogProofObligation | |
| 1 (Type/Class) | Crux.Log, Crux |
| 2 (Data Constructor) | Crux.Log, Crux |
| Logs | Crux.Log, Crux |
| logSimResult | Crux.Log, Crux |
| logToStd | Crux.Log, Crux |
| Long | Crux.SVCOMP.Witness |
| loopBound | Crux.Config.Common, Crux |
| LP64 | Crux.SVCOMP |
| LPred | Crux.Types |
| makeCexes | Crux.Config.Common, Crux |
| mapArgDescr | Crux.Config, Crux |
| mapEnvDescr | Crux.Config, Crux |
| mapOptDescr | Crux.Config, Crux |
| maybeGenerateSource | Crux.Report |
| mkEdge | Crux.SVCOMP.Witness |
| mkFresh | Crux.Overrides |
| mkFreshFloat | Crux.Overrides |
| mkNode | Crux.SVCOMP.Witness |
| mkNodeId | Crux.SVCOMP.Witness |
| mkOutputConfig | Crux |
| modelJS | Crux.Model |
| modelVals | Crux.Types |
| ModelView | |
| 1 (Type/Class) | Crux.Types |
| 2 (Data Constructor) | Crux.Types |
| NoArg | Crux.Config, Crux |
| noColors | Crux.Config.Load |
| noColorsErr | Crux.Config.Load |
| noColorsOut | Crux.Config.Load |
| NoConfgFile | Crux.Config.Load |
| Node | Crux.Loops |
| node | Crux.Loops |
| nodeEntry | Crux.SVCOMP.Witness |
| nodeId | Crux.SVCOMP.Witness |
| nodeInvariant | Crux.SVCOMP.Witness |
| nodeInvariantScope | Crux.SVCOMP.Witness |
| nodeSink | Crux.SVCOMP.Witness |
| nodeViolation | Crux.SVCOMP.Witness |
| Noisily | Crux.Types, Crux.Log, Crux |
| NotProved | Crux.Types |
| NotProvedGoal | Crux.Types |
| numSpec | Crux.Config, Crux |
| offlineSolverOutput | Crux.Config.Common, Crux |
| OK | Crux.Types, Crux.Log, Crux |
| oneOrList | Crux.Config, Crux |
| onErrorHook | Crux |
| onlineProblemFeatures | Crux.Config.Common, Crux |
| onlineSolverOutput | Crux.Config.Common, Crux |
| OnlineSolverWithOfflineGoals | Crux.Config.Solver |
| OnlineSolverWithSeparateOnlineGoals | Crux.Config.Solver |
| OnlyOfflineSolvers | Crux.Config.Solver |
| OptArg | Crux.Config, Crux |
| optArgument | Crux.Config, Crux |
| OptDescr | Crux.Config, Crux |
| optDescription | Crux.Config, Crux |
| Option | Crux.Config, Crux |
| Options | |
| 1 (Type/Class) | Crux.Config.Load |
| 2 (Data Constructor) | Crux.Config.Load |
| options | Crux.Config.Load |
| optLongFlags | Crux.Config, Crux |
| OptSetter | Crux.Config, Crux |
| optShortFlags | Crux.Config, Crux |
| outDir | Crux.Config.Common, Crux |
| output | Crux.Log, Crux |
| OutputConfig | |
| 1 (Type/Class) | Crux.Log, Crux |
| 2 (Data Constructor) | Crux.Log, Crux |
| outputHandle | Crux.Log, Crux |
| outputLn | Crux.Log, Crux |
| OutputOptions | |
| 1 (Type/Class) | Crux.Config.Common |
| 2 (Data Constructor) | Crux.Config.Common |
| outputOptions | Crux.Config.Common, Crux |
| OverM | Crux.Types |
| 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 |
| quiet | Crux.Log, Crux |
| quietMode | Crux.Config.Common |
| recursionBound | Crux.Config.Common, Crux |
| removeRepeats | Crux.Report |
| removeRepeatsBy | Crux.Report |
| renderJS | Crux.UI.JS |
| renderSideConds | Crux.Report |
| ReqArg | Crux.Config, Crux |
| Result | |
| 1 (Type/Class) | Crux.Types |
| 2 (Data Constructor) | Crux.Types |
| resultHook | Crux |
| RunnableState | |
| 1 (Type/Class) | Crux |
| 2 (Data Constructor) | Crux |
| RunnableStateWithExtensions | Crux |
| runSimulator | Crux |
| sameSolver | Crux.Config.Solver |
| SatResult | Crux.Goal |
| say | Crux.Log, Crux |
| sayCrux | Crux.Log, Crux |
| SayLevel | Crux.Types, Crux.Log, Crux |
| SayMore | Crux.Types, Crux.Log, Crux |
| SayNothing | Crux.Types, Crux.Log, Crux |
| SayWhat | |
| 1 (Type/Class) | Crux.Types, Crux.Log, Crux |
| 2 (Data Constructor) | Crux.Types, Crux.Log, Crux |
| sayWhatFailedGoals | Crux.FormatOut |
| sayWhatResultStatus | Crux.FormatOut |
| section | Crux.Config, Crux |
| sectionMaybe | Crux.Config, Crux |
| SectionsSpec | Crux.Config, Crux |
| setupHook | Crux |
| showBVLiteral | Crux.Model |
| showDoubleLiteral | Crux.Model |
| showFloatLiteral | Crux.Model |
| ShowHelp | Crux.Config.Load |
| showHelp | Crux.Config.Load |
| ShowVersion | Crux.Config.Load |
| showVersion | Crux.Config.Load |
| silentProverMilestoneCallbacks | Crux.ProgressBar |
| SimCtxt | Crux.Types |
| Simply | Crux.Types, Crux.Log, Crux |
| SimulationComplete | Crux.Log, Crux |
| SimulationTimedOut | Crux.Log, Crux |
| SimulatorCallbacks | |
| 1 (Type/Class) | Crux |
| 2 (Data Constructor) | Crux |
| SimulatorHooks | |
| 1 (Type/Class) | Crux |
| 2 (Data Constructor) | Crux |
| simVerbose | Crux.Config.Common |
| SingleOnlineSolver | Crux.Config.Solver |
| skipIncompleteReports | Crux.Config.Common, Crux |
| SkippingUnsatCoresBecauseMCSatEnabled | Crux.Log, Crux |
| skipReport | Crux.Config.Common, Crux |
| skipSuccessReports | Crux.Config.Common, Crux |
| SMTResult | Crux.Goal |
| solver | Crux.Config.Common, Crux |
| SolverConfig | Crux.Config.Solver |
| SolverOffline | Crux.Config.Solver |
| SolverOnline | |
| 1 (Data Constructor) | Crux.Config.Solver |
| 2 (Type/Class) | Crux.Config.Solver |
| SomeOnlineSolver | |
| 1 (Type/Class) | Crux |
| 2 (Data Constructor) | Crux |
| SourceCodeLang | Crux.SVCOMP.Witness |
| SplitAndExploreDepthFirst | Crux.Config.Common |
| StartedGoal | Crux.Log, Crux |
| STP | Crux.Config.Solver |
| String | Crux.SVCOMP.Witness |
| stringSpec | Crux.Config, Crux |
| SupportsCruxLogMessage | Crux.Log, Crux |
| svcompArch | Crux.SVCOMP |
| svcompBlacklist | Crux.SVCOMP |
| SVCompLanguage | Crux.SVCOMP |
| SVCOMPOptions | |
| 1 (Type/Class) | Crux.SVCOMP |
| 2 (Data Constructor) | Crux.SVCOMP |
| svcompOptions | Crux.SVCOMP |
| SVCompProperty | Crux.SVCOMP |
| svcompSpec | Crux.SVCOMP |
| svcompWitnessOutput | Crux.SVCOMP |
| symCfg | Crux.Goal |
| TaskMap | Crux.SVCOMP |
| toDouble | Crux.Model |
| TotalPathsExplored | Crux.Log, Crux |
| totalProcessedGoals | Crux.Types |
| Tree | Crux.Loops |
| Unknown | Crux.SVCOMP |
| UnknownResult | Crux.Goal |
| unsatCores | Crux.Config.Common, Crux |
| UnsatResult | Crux.Goal |
| UnsupportedTimeoutFor | Crux.Log, Crux |
| updateProcessedGoals | Crux.Goal |
| Vals | |
| 1 (Type/Class) | Crux.Types |
| 2 (Data Constructor) | Crux.Types |
| valsJS | Crux.Model |
| verificationInputFiles | Crux.SVCOMP |
| verificationLanguage | Crux.SVCOMP |
| verificationProperties | Crux.SVCOMP |
| verificationSourceFile | Crux.SVCOMP |
| VerificationTask | |
| 1 (Type/Class) | Crux.SVCOMP |
| 2 (Data Constructor) | Crux.SVCOMP |
| Verified | Crux.SVCOMP |
| Version | Crux.Log, Crux |
| version | Crux.Version |
| ViolationWitness | Crux.SVCOMP.Witness |
| Warn | Crux.Types, Crux.Log, Crux |
| withCruxLogMessage | Crux.Log, Crux |
| withDefaultFloatRepr | Crux.Config.Solver |
| withProgressBar | Crux.ProgressBar |
| withProgressBar' | Crux.ProgressBar |
| Witness | |
| 1 (Type/Class) | Crux.SVCOMP.Witness |
| 2 (Data Constructor) | Crux.SVCOMP.Witness |
| witnessArchitecture | Crux.SVCOMP.Witness |
| witnessCreationTime | Crux.SVCOMP.Witness |
| WitnessEdge | |
| 1 (Type/Class) | Crux.SVCOMP.Witness |
| 2 (Data Constructor) | Crux.SVCOMP.Witness |
| witnessEdges | Crux.SVCOMP.Witness |
| WitnessNode | |
| 1 (Type/Class) | Crux.SVCOMP.Witness |
| 2 (Data Constructor) | Crux.SVCOMP.Witness |
| witnessNodes | Crux.SVCOMP.Witness |
| witnessProducer | Crux.SVCOMP.Witness |
| witnessProgramFile | Crux.SVCOMP.Witness |
| witnessProgramHash | Crux.SVCOMP.Witness |
| witnessSourceCodeLang | Crux.SVCOMP.Witness |
| witnessSpecification | Crux.SVCOMP.Witness |
| WitnessType | Crux.SVCOMP.Witness |
| witnessType | Crux.SVCOMP.Witness |
| yesOrNoSpec | Crux.Config, Crux |
| Yices | Crux.Config.Solver |
| yicesMCSat | Crux.Config.Common, Crux |
| Z3 | Crux.Config.Solver |
| _logExc | Crux.Log, Crux |
| _logGoal | Crux.Log, Crux |
| _logMsg | Crux.Log, Crux |
| _logSimResult | Crux.Log, Crux |
| _outputHandle | Crux.Log, Crux |
| _quiet | Crux.Log, Crux |
| ~> | Crux.UI.JS |