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
 
 
distributed-summary-synthesis
distributed-summary-synthesis
 
 
includes
includes
 
 
properties
properties
 
 
specification
specification
 
 
unmaintained
unmaintained
 
 
README.md
README.md
 
 
acslToWitness.properties
acslToWitness.properties
 
 
bddAnalysis-bam-fullBlockAbstraction.properties
bddAnalysis-bam-fullBlockAbstraction.properties
 
 
bddAnalysis-bam.properties
bddAnalysis-bam.properties
 
 
bddAnalysis-concurrency.properties
bddAnalysis-concurrency.properties
 
 
bddAnalysis-parallelBam-fullBlockAbstraction.properties
bddAnalysis-parallelBam-fullBlockAbstraction.properties
 
 
bddAnalysis-parallelBam.properties
bddAnalysis-parallelBam.properties
 
 
bddAnalysis.properties
bddAnalysis.properties
 
 
bmc--overflow.properties
bmc--overflow.properties
 
 
bmc-concurrency.properties
bmc-concurrency.properties
 
 
bmc-incremental--overflow.properties
bmc-incremental--overflow.properties
 
 
bmc-incremental-ABEl.properties
bmc-incremental-ABEl.properties
 
 
bmc-incremental.properties
bmc-incremental.properties
 
 
bmc-induction.properties
bmc-induction.properties
 
 
bmc-interpolation.properties
bmc-interpolation.properties
 
 
bmc-interpolationDualSequence.properties
bmc-interpolationDualSequence.properties
 
 
bmc-interpolationSequence.properties
bmc-interpolationSequence.properties
 
 
bmc-invgen.properties
bmc-invgen.properties
 
 
bmc-pathcondition.properties
bmc-pathcondition.properties
 
 
bmc.properties
bmc.properties
 
 
bmcSplitting-cyclic.properties
bmcSplitting-cyclic.properties
 
 
bmcSplitting-iterations.properties
bmcSplitting-iterations.properties
 
 
collect-undefined-functions.properties
collect-undefined-functions.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-value10+pred-cmc.properties
combinations-value10+pred-cmc.properties
 
 
combinations-value100+pred-cmc.properties
combinations-value100+pred-cmc.properties
 
 
combinations-valueCegar+pred.properties
combinations-valueCegar+pred.properties
 
 
combinations-valueCegar60+pred-cmc.properties
combinations-valueCegar60+pred-cmc.properties
 
 
conditional-testing-naive.properties
conditional-testing-naive.properties
 
 
conditional-testing-propagation.properties
conditional-testing-propagation.properties
 
 
correctness-witness-validation--overflow.properties
correctness-witness-validation--overflow.properties
 
 
correctness-witness-validation-acsl.properties
correctness-witness-validation-acsl.properties
 
 
correctness-witness-validation-predicate-analysis.properties
correctness-witness-validation-predicate-analysis.properties
 
 
correctness-witness-validation.properties
correctness-witness-validation.properties
 
 
correctness-witnesses-k-induction--overflow.properties
correctness-witnesses-k-induction--overflow.properties
 
 
correctness-witnesses-k-induction.properties
correctness-witnesses-k-induction.properties
 
 
craigInterpolation-violationWitness.properties
craigInterpolation-violationWitness.properties
 
 
dataFlowAnalysis.properties
dataFlowAnalysis.properties
 
 
dataRaceAnalysis.properties
dataRaceAnalysis.properties
 
 
deadlock-detection.properties
deadlock-detection.properties
 
 
default.properties
default.properties
 
 
defuse.properties
defuse.properties
 
 
detectRecursion.properties
detectRecursion.properties
 
 
deterministicVariables.properties
deterministicVariables.properties
 
 
differencePropPredicateAnalysis.properties
differencePropPredicateAnalysis.properties
 
 
differenceUsagePredicateAnalysis.properties
differenceUsagePredicateAnalysis.properties
 
 
differentialPredicateAnalysis.properties
differentialPredicateAnalysis.properties
 
 
differentialProgramGenerator.properties
differentialProgramGenerator.properties
 
 
dss.properties
dss.properties
 
 
generateBlockGraph.properties
generateBlockGraph.properties
 
 
generateCFA.properties
generateCFA.properties
 
 
generateSlice.properties
generateSlice.properties
 
 
hb-userprop.properties
hb-userprop.properties
 
 
importFaults.properties
importFaults.properties
 
 
invariantGeneration-incremental.properties
invariantGeneration-incremental.properties
 
 
invariantGeneration.properties
invariantGeneration.properties
 
 
kInduction-dfInvariants.properties
kInduction-dfInvariants.properties
 
 
kInduction-kidfInvariants.properties
kInduction-kidfInvariants.properties
 
 
kInduction-kipdrInvariants.properties
kInduction-kipdrInvariants.properties
 
 
kInduction-kipdrdfInvariants.properties
kInduction-kipdrdfInvariants.properties
 
 
kInduction-linear-dfInvariants.properties
kInduction-linear-dfInvariants.properties
 
 
kInduction-linear-kidfInvariants.properties
kInduction-linear-kidfInvariants.properties
 
 
kInduction-linear.properties
kInduction-linear.properties
 
 
kInduction-plain.properties
kInduction-plain.properties
 
 
kInduction.properties
kInduction.properties
 
 
lassoRankerAnalysis.properties
lassoRankerAnalysis.properties
 
 
ldv-bam.properties
ldv-bam.properties
 
 
ldv-bitprecise.properties
ldv-bitprecise.properties
 
 
ldv.properties
ldv.properties
 
 
liveVariables.properties
liveVariables.properties
 
 
lockator-linux-lightweight.properties
lockator-linux-lightweight.properties
 
 
lockator-linux.properties
lockator-linux.properties
 
 
overflowAnalysis.properties
overflowAnalysis.properties
 
 
pred-Invgen-parallel.properties
pred-Invgen-parallel.properties
 
 
pred-Invgen-restart.properties
pred-Invgen-restart.properties
 
 
pred-Invgen-restart3.properties
pred-Invgen-restart3.properties
 
 
predicateAnalysis--overflow.properties
predicateAnalysis--overflow.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-Kojak-ABEl--overflow.properties
predicateAnalysis-Kojak-ABEl--overflow.properties
 
 
predicateAnalysis-Kojak-ABEl.properties
predicateAnalysis-Kojak-ABEl.properties
 
 
predicateAnalysis-Kojak-SBE.properties
predicateAnalysis-Kojak-SBE.properties
 
 
predicateAnalysis-NoCEGAR.properties
predicateAnalysis-NoCEGAR.properties
 
 
predicateAnalysis-PredAbsRefiner-ABEl.properties
predicateAnalysis-PredAbsRefiner-ABEl.properties
 
 
predicateAnalysis-PredAbsRefiner-ABElf.properties
predicateAnalysis-PredAbsRefiner-ABElf.properties
 
 
predicateAnalysis-PredAbsRefiner-SBE.properties
predicateAnalysis-PredAbsRefiner-SBE.properties
 
 
predicateAnalysis-RefinementSelection-ABE.properties
predicateAnalysis-RefinementSelection-ABE.properties
 
 
predicateAnalysis-RefinementSelection-SBE.properties
predicateAnalysis-RefinementSelection-SBE.properties
 
 

README.md

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.