# This file is a blacklist that contains all configurations (.properties files)
# that are not supported by CPAchecker on Google App Engine.
apronAnalysis.properties
apronAnalysis-Refiner.properties
CBMC.properties
chc.properties
lddAnalysis.properties
octagonAnalysis-float.properties
octagonAnalysis-mergeJoin-cexCheck.properties
octagonAnalysis-mergeJoin.properties
octagonAnalysis-mergeWidening-cexCheck.properties
octagonAnalysis-mergeWidening.properties
octagonAnalysis.properties
octagonAnalysis-refiner-float.properties
octagonAnalysis-refiner-int.properties
octagonAnalysis-refiner.properties
octagonAnalysis-restart-float.properties
octagonAnalysis-restart-int.properties
predicateAnalysis-proofcheck.properties
predicateAnalysis-proofgen.properties
predicateAnalysis-bitprecise.properties
predicateAnalysis-PredAbsRefiner-ABEl-bitprecise.properties
predicateAnalysis-PredAbsRefiner-ABElf-bitprecise.properties
predicatedAnalysis-bitprecise-Interval.properties
separationlogic.properties
sv-comp14--02-challenge.properties
sv-comp14--05-predicateAnalysis-bitprecise.properties
sv-comp14--cex-check-predicateAnalysis-bitprecise.properties
valueAnalysis-java-with-RTT.properties
valueAnalysis-java.properties
