(view as text)
Buildfile: /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/build.xml
init:
[echo] Building CPAchecker 1.1-svn
bootstrap-ivy:
load-ivy:
update-contrib:
resolve-dependencies:
[echo] Downloading and installing dependencies with Ivy...
[ivy:resolve] :: Ivy 2.2.0 - 20100923230623 :: http://ant.apache.org/ivy/ ::
[ivy:resolve] :: loading settings :: file = /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/ivysettings.xml
[ivy:resolve] :: resolving dependencies :: org.sosy_lab#CPAchecker;working@pc-wehr-serv1
[ivy:resolve] confs: [build, runtime, test]
[ivy:resolve] found org.apache.ivy#ivy;2.2.0 in Sosy-Lab
[ivy:resolve] found de.jflex#jflex;1.4.3 in Sosy-Lab
[ivy:resolve] found edu.tum.cs#java-cup;11a in Sosy-Lab
[ivy:resolve] found org.apache.ant#ant-junit;1.8.2 in Sosy-Lab
[ivy:resolve] found org.sosy_lab#common;0.201 in Sosy-Lab
[ivy:resolve] found com.google.guava#guava;10.0 in Sosy-Lab
[ivy:resolve] found com.google.code.findbugs#jsr305;1.3.9 in Sosy-Lab
[ivy:resolve] found com.googlecode.json-simple#json-simple;1.1 in Sosy-Lab
[ivy:resolve] found net.sf.javabdd#javabdd;1.0b2 in Sosy-Lab
[ivy:resolve] found org.jgrapht#jgrapht-jdk1.6;0.8.2 in Sosy-Lab
[ivy:resolve] found com.ibm.icu#icu4j;4.8.1.1 in Sosy-Lab
[ivy:resolve] found org.eclipse.cdt#core;5.3.1.201109151620 in Sosy-Lab
[ivy:resolve] found org.eclipse.core#resources;3.7.100.v20110510-0712 in Sosy-Lab
[ivy:resolve] found org.eclipse.equinox#common;3.6.0.v20110523 in Sosy-Lab
[ivy:resolve] found org.eclipse.osgi#osgi;3.7.1.R37x_v20110808-1106 in Sosy-Lab
[ivy:resolve] found junit#junit;4.10 in Sosy-Lab
[ivy:resolve] found org.hamcrest#hamcrest-core;1.1 in Sosy-Lab
[ivy:resolve] :: resolution report :: resolve 309ms :: artifacts dl 11ms
---------------------------------------------------------------------
| | modules || artifacts |
| conf | number| search|dwnlded|evicted|| number|dwnlded|
---------------------------------------------------------------------
| build | 4 | 0 | 0 | 0 || 4 | 0 |
| runtime | 12 | 0 | 0 | 0 || 12 | 0 |
| test | 2 | 0 | 0 | 0 || 2 | 0 |
---------------------------------------------------------------------
[ivy:retrieve] :: retrieving :: org.sosy_lab#CPAchecker [sync]
[ivy:retrieve] confs: [build, runtime, test]
[ivy:retrieve] 0 artifacts copied, 18 already retrieved (0kB/15ms)
build-subprojects:
[echo] Generate automaton parser if necessary
generate-scanner:
generate-parser:
[echo] Generate FQL parser if necessary
generate-scanner:
generate-parser:
build-dependencies:
build-project:
[depend] The class org.sosy_lab.cpachecker.util.assumptions.AssumptionManagerImpl in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/util/assumptions/AssumptionManagerImpl.class is out of date due to org.sosy_lab.cpachecker.util.predicates.ExtendedFormulaManager but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.common.FormulaHandler in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/common/FormulaHandler.class is out of date due to org.sosy_lab.cpachecker.util.predicates.ExtendedFormulaManager but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.SBEWithoutIndices2_InvariantProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/SBEWithoutIndices2_InvariantProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.LBE_InvariantProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/LBE_InvariantProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.ABE_ARTProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/ABE_ARTProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.SBEWithoutIndices_ARTProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/SBEWithoutIndices_ARTProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.SBEWithoutIndices_InvariantProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/SBEWithoutIndices_InvariantProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.LBE_ARTProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/LBE_ARTProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.util.assumptions.AssumptionManagerImpl$DummySSAMap in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/util/assumptions/AssumptionManagerImpl$DummySSAMap.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.AdjustableLBE_InvariantProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/AdjustableLBE_InvariantProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.SBEWithoutIndices2a_InvariantProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/SBEWithoutIndices2a_InvariantProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_check.AdjustableLBE_ARTProofCheckAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_check/AdjustableLBE_ARTProofCheckAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.SSAMap but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.SBEWithIndices_InvariantProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/SBEWithIndices_InvariantProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.LBE_InvariantProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/LBE_InvariantProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.AdjustableLBE_ARTProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/AdjustableLBE_ARTProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.ABE_ARTProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/ABE_ARTProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.SBEWithoutIndices_ARTProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/SBEWithoutIndices_ARTProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.AdjustableLBE_InvariantProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/AdjustableLBE_InvariantProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.SBEWithoutIndices2_InvariantProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/SBEWithoutIndices2_InvariantProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.SBEWithIndices_ARTProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/SBEWithIndices_ARTProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.LBE_ARTProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/LBE_ARTProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.SBEWithoutIndices_InvariantProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/SBEWithoutIndices_InvariantProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.util.predicates.AbstractionFormula but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.cpa.automaton.CUP$AutomatonParser$actions in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/cpa/automaton/CUP$AutomatonParser$actions.class is out of date due to org.sosy_lab.cpachecker.cpa.automaton.AutomatonInternalState but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.ProofGenerator in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/ProofGenerator.class is out of date due to org.sosy_lab.cpachecker.cpa.callstack.CallstackElement but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.cpa.automaton.AutomatonPrecisionAdjustment in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/cpa/automaton/AutomatonPrecisionAdjustment.class is out of date due to org.sosy_lab.cpachecker.cpa.automaton.AutomatonState but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.cmdline.PCCProofCheckMain in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/cmdline/PCCProofCheckMain.class is out of date due to org.sosy_lab.cpachecker.cmdline.CPAMain but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.SBE_InvariantProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/SBE_InvariantProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.cpa.predicate.PredicateAbstractElement but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.SBE_ARTProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/SBE_ARTProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.cpa.predicate.PredicateAbstractElement but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.cpa.predicate.PredicatePostProcessor in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/cpa/predicate/PredicatePostProcessor.class is out of date due to org.sosy_lab.cpachecker.cpa.predicate.PredicateAbstractElement but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.core.algorithm.ContinueOnCounterexampleAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/core/algorithm/ContinueOnCounterexampleAlgorithm.class is out of date due to org.sosy_lab.cpachecker.cpa.art.ARTCPA but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.InvariantProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/InvariantProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.cpa.art.ARTElement but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.core.algorithm.cbmctools.AbstractPathToCTranslator in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/core/algorithm/cbmctools/AbstractPathToCTranslator.class is out of date due to org.sosy_lab.cpachecker.cpa.art.ARTElement but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.core.algorithm.cbmctools.CBMCEdge in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/core/algorithm/cbmctools/CBMCEdge.class is out of date due to org.sosy_lab.cpachecker.cpa.art.ARTElement but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.pcc.proof_gen.ARTProofGenAlgorithm in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/pcc/proof_gen/ARTProofGenAlgorithm.class is out of date due to org.sosy_lab.cpachecker.cpa.art.ARTElement but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.util.assumptions.ReportingUtils in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/util/assumptions/ReportingUtils.class is out of date due to org.sosy_lab.cpachecker.util.predicates.interfaces.FormulaManager but has not been deleted because its source file could not be determined
[depend] The class org.sosy_lab.cpachecker.cpa.assumptions.progressobserver.ProgressObserverElement in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/cpa/assumptions/progressobserver/ProgressObserverElement.class is out of date due to org.sosy_lab.cpachecker.util.predicates.interfaces.FormulaManager but has not been deleted because its source file could not be determined
[depend] Deleted 230 out of date files in 0 seconds
[javac] Compiling 178 source files to /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[javac] Note: Some input files use or override a deprecated API.
[javac] Note: Recompile with -Xlint:deprecation for details.
[javac] Note: /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonParser.java uses unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.
[javac] 1 warning
build-documentation:
[echo] running OptionCollector...
[java] INFO: Could not load 'LDDRegionManager.class' for getting Option-annotations: no JLDD in java.library.path
[java] INFO: Could not read sourcefiles for getting the default values.
[echo] Options collected.
build:
BUILD SUCCESSFUL
Total time: 7 seconds