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 |