Skip to content

config

Directory actions

More options

Directory actions

More options

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
 
 
smg
smg
 
 
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-svlib.properties
bmc-incremental-svlib.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--decreasingSet.properties
correctness-witness-validation--decreasingSet.properties
 
 
correctness-witness-validation--lassoAnalysis.properties
correctness-witness-validation--lassoAnalysis.properties
 
 
correctness-witness-validation--overflow.properties
correctness-witness-validation--overflow.properties
 
 
correctness-witness-validation--termination.properties
correctness-witness-validation--termination.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
 
 
describerr-portfolio.properties
describerr-portfolio.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-inlining.properties
dss-inlining.properties
 
 
dss.properties
dss.properties
 
 
generateBlockGraph.properties
generateBlockGraph.properties
 
 
generateCFA.properties
generateCFA.properties
 
 
generateSlice.properties
generateSlice.properties
 
 
hb-userprop.properties
hb-userprop.properties
 
 
imc-svlib.properties
imc-svlib.properties
 
 
importFaults.properties
importFaults.properties
 
 
invariantGeneration-incremental.properties
invariantGeneration-incremental.properties
 
 
invariantGeneration.properties
invariantGeneration.properties
 
 
ismc-svlib.properties
ismc-svlib.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--overflow.properties
kInduction-plain--overflow.properties
 
 
kInduction-plain-svlib.properties
kInduction-plain-svlib.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
 
 
memorysafety.properties
memorysafety.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
 
 

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.