predicateAnalysis-as-bitprecise-cex-check.properties
smgAnalysis-as-cex-check.properties
valueAnalysis-as-cex-check.properties
apronAnalysis-proofcheck.properties
apronAnalysis-refiner.properties
bddAnalysis-nospec.properties
combinations-bdd+impact.properties
combinations-bdd+pred.properties
combinations-bdd+va.properties
combinations-value100+pred-cmc.properties
combinations-valueItp+pred.properties
deterministicVariables.properties
formula-slicing.properties
impactAlgorithm-SBE.properties
interval-propertycheck.properties
intervalAnalysis-join.properties
intervalAnalysis.properties
intervalAnalysisARG-propertycheck.properties
invariantGeneration-no-out.properties
invariantGeneration.properties
octagonAnalysis-float.properties
octagonAnalysis-mergeJoin-cexCheck.properties
octagonAnalysis-mergeJoin.properties
octagonAnalysis-mergeWidening-cexCheck.properties
octagonAnalysis-mergeWidening.properties
octagonAnalysis-refiner-float.properties
octagonAnalysis-refiner-int.properties
octagonAnalysis-refiner.properties
octagonAnalysis-restart-float.properties
octagonAnalysis-restart-int.properties
octagonAnalysis.properties
paBackwards-debug.properties
policy-intervals.properties
policy-mathsat.properties
policy-refinement.properties
policy-slicing-invariants.properties
policy-slicing.properties
predicateAnalysis-ImpactAbstractionRefiner-ABEl.properties
predicateAnalysis-ImpactGlobalRefiner-ABEl.properties
predicateAnalysis-ImpactRefiner-ABEl.properties
predicateAnalysis-ImpactRefiner-ABElf.properties
predicateAnalysis-ImpactRefiner-SBE.properties
predicateAnalysis-PredAbsRefiner-ABEl-bitprecise.properties
predicateAnalysis-PredAbsRefiner-ABEl.properties
predicateAnalysis-PredAbsRefiner-ABElf-bitprecise.properties
predicateAnalysis-PredAbsRefiner-ABElf.properties
predicateAnalysis-PredAbsRefiner-SBE.properties
predicateAnalysis-bam-auxiliaryPredicates.properties
predicateAnalysis-bam-nested-LBE.properties
predicateAnalysis-bam-nested-SBE.properties
predicateAnalysis-bam-noPointer.properties
predicateAnalysis-bam-rec-plain.properties
predicateAnalysis-bam.properties
predicateAnalysis-bitprecise.properties
predicateAnalysis-find-null-deref.properties
predicateAnalysis-pathExploration.properties
predicateAnalysis-proofcheck-states.properties
predicateAnalysis-proofcheck.properties
predicateAnalysis-proofgen.properties
predicateAnalysis-with-invariants.properties
predicateAnalysis.properties
predicateAnalysisBackward.properties
predicatedAnalysis-Interval.properties
predicatedAnalysis-Sign.properties
predicatedAnalysis-Uninit.properties
predicatedAnalysis-Value.properties
predicatedAnalysis-bitprecise-Interval.properties
reachingdef-value.properties
reachingdef-valueARG.properties
reachingdefinition.properties
reachingdefinitionARG.properties
reachingdefinitionNoLocation.properties
seghirPrecondition.properties
seghirPreconditionItp.properties
separationlogic.properties
sign-intervalARG.properties
signAnalysis-propertycheck.properties
signAnalysisARG-propertycheck.properties
smg-with-valueAnalysis-without-malloc-failure.properties
smg-with-valueAnalysis.properties
sv-comp12-bam-funpoint.properties
sv-comp13--combinations.properties
sv-comp13--valueItp-pred.properties
sv-comp14--memorysafety.properties
sv-comp14-challenge.properties
sv-comp15--memorysafety.properties
testGen-error-finding.properties
testGen-max-coverage.properties
valueAnalysis-BDD-bool-3600s.properties
valueAnalysis-BDD-bool-intEQ-intADD.properties
valueAnalysis-BDD-bool-intEQ.properties
valueAnalysis-BDD-bool.properties
valueAnalysis-GlobalRefiner.properties
valueAnalysis-ItpRefiner-ABEl.properties
valueAnalysis-ItpRefiner-ABElf.properties
valueAnalysis-ItpRefiner.properties
valueAnalysis-NoRefiner.properties
valueAnalysis-RealC-counterexampleCheck.properties
valueAnalysis-bam-rec.properties
valueAnalysis-bam.properties
valueAnalysis-featureVars.properties
valueAnalysis-java-with-RTT.properties
valueAnalysis-java.properties
valueAnalysis-join.properties
valueAnalysis-no-cex-check.properties
valueAnalysis-pcc-trac-all.properties
valueAnalysis-pcc-trac-allARG.properties
valueAnalysis-proofcheck.properties
valueAnalysis-symbolic-java.properties
valueAnalysis-symbolic-refiner-pred.properties
valueAnalysis-symbolic-refiner.properties
valueAnalysis-symbolic.properties
valueAnalysis-thresholds.properties
weakestPrecondition.properties
witness-check--memorysafety.properties
Latest commit Folders and files Name Name Last commit message
Last commit date
parent directory
View all files
This directory contains configuration files
that configurations targeted for counterexample checks
with analysis.checkCounterexamples=true.
You can’t perform that action at this time.