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 |