cpachecker/config/specification at main · sosy-lab/cpachecker

History

Name		Name	Last commit message	Last commit date
parent directory ..
Assertion.spc		Assertion.spc
AssumptionGuidingAutomaton.spc		AssumptionGuidingAutomaton.spc
BDDCPAErrorLocation.spc		BDDCPAErrorLocation.spc
ErrorLabel.spc		ErrorLabel.spc
JavaAssertion.spc		JavaAssertion.spc
LDVErrorLabel.spc		LDVErrorLabel.spc
MainEntry.spc		MainEntry.spc
README.md		README.md
StopAtLeaves.spc		StopAtLeaves.spc
TargetState.spc		TargetState.spc
TerminatingFunctions.spc		TerminatingFunctions.spc
TerminatingStatements.spc		TerminatingStatements.spc
UninitializedVariables.spc		UninitializedVariables.spc
datarace.spc		datarace.spc
deadlock.spc		deadlock.spc
default.spc		default.spc
memorycleanup.spc		memorycleanup.spc
memorysafety-deref.spc		memorysafety-deref.spc
memorysafety-free.spc		memorysafety-free.spc
memorysafety-memtrack.spc		memorysafety-memtrack.spc
memorysafety.spc		memorysafety.spc
modification-bad-state.spc		modification-bad-state.spc
modification-usage-present.spc		modification-usage-present.spc
modifications-present.spc		modifications-present.spc
multi-error-call-reachability.spc		multi-error-call-reachability.spc
multiPropertyCex.spc		multiPropertyCex.spc
null-deref.spc		null-deref.spc
overflow.spc		overflow.spc
postpone.spc		postpone.spc
sv-comp-datarace.spc		sv-comp-datarace.spc
sv-comp-errorlabel.spc		sv-comp-errorlabel.spc
sv-comp-memorycleanup.spc		sv-comp-memorycleanup.spc
sv-comp-memorysafety.spc		sv-comp-memorysafety.spc
sv-comp-overflow.spc		sv-comp-overflow.spc
sv-comp-reachability.spc		sv-comp-reachability.spc
sv-comp-terminatingfunctions.spc		sv-comp-terminatingfunctions.spc
termination_as_reach.spc		termination_as_reach.spc
test-comp-terminatingfunctions.spc		test-comp-terminatingfunctions.spc

README.md

The automata language used here is similar to the BLAST Query Language.

You can find a detailed specification in doc/SpecificationAutomata.md.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

specification

specification

README.md

Files

specification

Directory actions

More options

Directory actions

More options

Latest commit

History

specification

Folders and files

parent directory

README.md