Skip to content

Latest commit

 

History

History
 
 

config

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
cex-checks
cex-checks
 
 
components
components
 
 
includes
includes
 
 
policyiteration
policyiteration
 
 
specification
specification
 
 
CBMC.properties
CBMC.properties
 
 
README.txt
README.txt
 
 
apronAnalysis-proofcheck.properties
apronAnalysis-proofcheck.properties
 
 
apronAnalysis-refiner.properties
apronAnalysis-refiner.properties
 
 
apronAnalysis.properties
apronAnalysis.properties
 
 
bddAnalysis-nospec.properties
bddAnalysis-nospec.properties
 
 
bddAnalysis.properties
bddAnalysis.properties
 
 
bmc-induction.properties
bmc-induction.properties
 
 
bmc.properties
bmc.properties
 
 
chc.properties
chc.properties
 
 
combinations-bdd+impact.properties
combinations-bdd+impact.properties
 
 
combinations-bdd+pred.properties
combinations-bdd+pred.properties
 
 
combinations-bdd+va.properties
combinations-bdd+va.properties
 
 
combinations-value100+pred-cmc.properties
combinations-value100+pred-cmc.properties
 
 
combinations-valueItp+pred.properties
combinations-valueItp+pred.properties
 
 
defuse.properties
defuse.properties
 
 
deterministicVariables.properties
deterministicVariables.properties
 
 
formula-slicing.properties
formula-slicing.properties
 
 
generateCFA.properties
generateCFA.properties
 
 
ifc.properties
ifc.properties
 
 
ifc0.properties
ifc0.properties
 
 
ifcQueryGen.properties
ifcQueryGen.properties
 
 
ifcTest.properties
ifcTest.properties
 
 
impactAlgorithm-SBE.properties
impactAlgorithm-SBE.properties
 
 
interval-propertycheck.properties
interval-propertycheck.properties
 
 
intervalAnalysis-join.properties
intervalAnalysis-join.properties
 
 
intervalAnalysis.properties
intervalAnalysis.properties
 
 
intervalAnalysisARG-propertycheck.properties
intervalAnalysisARG-propertycheck.properties
 
 
invariantGeneration-no-out.properties
invariantGeneration-no-out.properties
 
 
invariantGeneration.properties
invariantGeneration.properties
 
 
lddAnalysis.properties
lddAnalysis.properties
 
 
ldv.properties
ldv.properties
 
 
liveVariables.properties
liveVariables.properties
 
 
octagonAnalysis-float.properties
octagonAnalysis-float.properties
 
 
octagonAnalysis-mergeJoin-cexCheck.properties
octagonAnalysis-mergeJoin-cexCheck.properties
 
 
octagonAnalysis-mergeJoin.properties
octagonAnalysis-mergeJoin.properties
 
 
octagonAnalysis-mergeWidening-cexCheck.properties
octagonAnalysis-mergeWidening-cexCheck.properties
 
 
octagonAnalysis-mergeWidening.properties
octagonAnalysis-mergeWidening.properties
 
 
octagonAnalysis-refiner-float.properties
octagonAnalysis-refiner-float.properties
 
 
octagonAnalysis-refiner-int.properties
octagonAnalysis-refiner-int.properties
 
 
octagonAnalysis-refiner.properties
octagonAnalysis-refiner.properties
 
 
octagonAnalysis-restart-float.properties
octagonAnalysis-restart-float.properties
 
 
octagonAnalysis-restart-int.properties
octagonAnalysis-restart-int.properties
 
 
octagonAnalysis.properties
octagonAnalysis.properties
 
 
paBackwards-debug.properties
paBackwards-debug.properties
 
 
policy-intervals.properties
policy-intervals.properties
 
 
policy-mathsat.properties
policy-mathsat.properties
 
 
policy-refinement.properties
policy-refinement.properties
 
 
policy-slicing-invariants.properties
policy-slicing-invariants.properties
 
 
policy-slicing.properties
policy-slicing.properties
 
 
policy.properties
policy.properties
 
 
predicateAnalysis-ImpactAbstractionRefiner-ABEl.properties
predicateAnalysis-ImpactAbstractionRefiner-ABEl.properties
 
 
predicateAnalysis-ImpactGlobalRefiner-ABEl.properties
predicateAnalysis-ImpactGlobalRefiner-ABEl.properties
 
 
predicateAnalysis-ImpactRefiner-ABEl.properties
predicateAnalysis-ImpactRefiner-ABEl.properties
 
 
predicateAnalysis-ImpactRefiner-ABElf.properties
predicateAnalysis-ImpactRefiner-ABElf.properties
 
 
predicateAnalysis-ImpactRefiner-SBE.properties
predicateAnalysis-ImpactRefiner-SBE.properties
 
 
predicateAnalysis-PredAbsRefiner-ABEl-bitprecise.properties
predicateAnalysis-PredAbsRefiner-ABEl-bitprecise.properties
 
 
predicateAnalysis-PredAbsRefiner-ABEl.properties
predicateAnalysis-PredAbsRefiner-ABEl.properties
 
 
predicateAnalysis-PredAbsRefiner-ABElf-bitprecise.properties
predicateAnalysis-PredAbsRefiner-ABElf-bitprecise.properties
 
 
predicateAnalysis-PredAbsRefiner-ABElf.properties
predicateAnalysis-PredAbsRefiner-ABElf.properties
 
 
predicateAnalysis-PredAbsRefiner-SBE.properties
predicateAnalysis-PredAbsRefiner-SBE.properties
 
 
predicateAnalysis-bam-auxiliaryPredicates.properties
predicateAnalysis-bam-auxiliaryPredicates.properties
 
 
predicateAnalysis-bam-nested-LBE.properties
predicateAnalysis-bam-nested-LBE.properties
 
 
predicateAnalysis-bam-nested-SBE.properties
predicateAnalysis-bam-nested-SBE.properties
 
 
predicateAnalysis-bam-noPointer.properties
predicateAnalysis-bam-noPointer.properties
 
 
predicateAnalysis-bam-rec-plain.properties
predicateAnalysis-bam-rec-plain.properties
 
 
predicateAnalysis-bam.properties
predicateAnalysis-bam.properties
 
 
predicateAnalysis-bitprecise.properties
predicateAnalysis-bitprecise.properties
 
 
predicateAnalysis-find-null-deref.properties
predicateAnalysis-find-null-deref.properties
 
 
predicateAnalysis-pathExploration.properties
predicateAnalysis-pathExploration.properties
 
 
predicateAnalysis-proofcheck-states.properties
predicateAnalysis-proofcheck-states.properties
 
 
predicateAnalysis-proofcheck.properties
predicateAnalysis-proofcheck.properties
 
 
predicateAnalysis-proofgen.properties
predicateAnalysis-proofgen.properties
 
 
predicateAnalysis-with-invariants.properties
predicateAnalysis-with-invariants.properties
 
 
predicateAnalysis.properties
predicateAnalysis.properties
 
 
predicateAnalysisBackward.properties
predicateAnalysisBackward.properties
 
 
predicatedAnalysis-Interval.properties
predicatedAnalysis-Interval.properties
 
 
predicatedAnalysis-Sign.properties
predicatedAnalysis-Sign.properties
 
 
predicatedAnalysis-Uninit.properties
predicatedAnalysis-Uninit.properties
 
 
predicatedAnalysis-Value.properties
predicatedAnalysis-Value.properties
 
 
predicatedAnalysis-bitprecise-Interval.properties
predicatedAnalysis-bitprecise-Interval.properties
 
 
reachingdef-value.properties
reachingdef-value.properties
 
 
reachingdef-valueARG.properties
reachingdef-valueARG.properties
 
 
reachingdefinition.properties
reachingdefinition.properties
 
 
reachingdefinitionARG.properties
reachingdefinitionARG.properties
 
 
reachingdefinitionNoLocation.properties
reachingdefinitionNoLocation.properties
 
 
seghirPrecondition.properties
seghirPrecondition.properties
 
 
seghirPreconditionItp.properties
seghirPreconditionItp.properties
 
 
separationlogic.properties
separationlogic.properties
 
 
sign-interval.properties
sign-interval.properties
 
 
sign-intervalARG.properties
sign-intervalARG.properties
 
 
signAnalysis-propertycheck.properties
signAnalysis-propertycheck.properties
 
 
signAnalysis.properties
signAnalysis.properties
 
 
signAnalysisARG-propertycheck.properties
signAnalysisARG-propertycheck.properties
 
 
smg-label.properties
smg-label.properties
 
 

README.txt

This directory contains default configuration files for CPAchecker.

All configurations in this directory can be used with a shortcut on the command line:
Instead of "-config config/foo.properties" one can simply write "-foo".