Home - Waterfall Results Grid T-Grid Console Builders Recent Builds Buildslaves Changesources - JSON API - About

Builder integration-predicateAnalysis-abm Build #247

Results:

Failed

SourceStamp:

Repositoryhttps://svn.sosy-lab.org/software/cpachecker/trunk
Revision5654
Got Revision5654
Changessee below

BuildSlave:

mainslave

Reason:

scheduler

Steps and Logfiles:

  1. svn update ( 17 secs )
    1. stdio
  2. Local mods Ran ( 0 secs )
    1. stdio
  3. shell 'ant' ( 7 secs )
    1. stdio
  4. shell_1 benchmark.py ( 29 mins, 27 secs )
    1. stdio
  5. setproperty 5 properties set ( 0 secs )
    1. stdio
    2. property changes
  6. shell_2 Cleanup results ( 0 secs )
    1. stdio
  7. shell_3 regression.py ( 0 secs )
    1. stdio
  8. shell_4 table_generator.py ( 0 secs )
    1. stdio
  9. MasterShellCommand Ran ( 23 secs )
    1. stdio
  10. shell_5 Prepare results 2 ( 0 secs )
    1. stdio
  11. Transfer results uploading results ( 1 secs )
    1. - no logs -
  12. Final result Final result ( 0 secs )
    1. - no logs -
    2. DIFF
    3. TABLE

Build Properties:

NameValueSource
branch None Build
buildername integration-predicateAnalysis-abm Builder
buildnumber 247 Build
got_revision 5654 Source
project Build
regressionresult 2 Unknown
repository https://svn.sosy-lab.org/software/cpachecker/trunk Build
revision 5654 Build
rn1 test/results/-r5631#integration-predicateAnalysis-abm.12-02-17.0918.results.xml SetProperty Step
rn2 test/results/-r5639#integration-predicateAnalysis-abm.12-02-17.0954.results.xml SetProperty Step
rn3 test/results/-r5643#integration-predicateAnalysis-abm.12-02-17.1030.results.xml SetProperty Step
rn4 test/results/-r5647#integration-predicateAnalysis-abm.12-02-17.1107.results.xml SetProperty Step
rn5 test/results/-r5654#integration-predicateAnalysis-abm.12-02-17.1331.results.xml SetProperty Step
scheduler all Scheduler
slavename mainslave BuildSlave
workdir /home/buildbot/mainslave/integration-predicateAnalysis-abm slave
xmlfile test/test-sets/integration-predicateAnalysis-abm.xml Builder

Blamelist:

  1. dwonisch

Timing:

StartFri Feb 17 13:31:32 2012
EndFri Feb 17 14:01:50 2012
Elapsed30 mins, 18 secs

Resubmit Build:

This tree was built from a specific set of source files, and can be rebuilt exactly

To force a build, fill out the following fields and push the 'Force Build' button

Your username:
Your password:
Reason for re-running build:

All Changes:

  1. Change #355

    Changed by dwonisch
    Changed at Fri 17 Feb 2012 13:31:31
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5654

    Comments

    Merged generic_pcc branch into trunk.

    Changed files

    • .classpath
    • .settings
    • .settings/org.eclipse.jdt.core.prefs
    • README.txt
    • build.xml
    • config/predicateAnalysis-proofcheck.properties
    • config/predicateAnalysis-proofgen.properties
    • config/proofCarryingCode-abe.properties
    • config/proofCarryingCode-albe.properties
    • config/proofCarryingCode-lbe.properties
    • config/proofCarryingCode-sbe.properties
    • doc/ConfigurationOptions.txt
    • src/org/sosy_lab/cpachecker/cmdline/CPAMain.java
    • src/org/sosy_lab/cpachecker/cmdline/PCCProofCheckMain.java
    • src/org/sosy_lab/cpachecker/core/CPAchecker.java
    • src/org/sosy_lab/cpachecker/core/CoreComponentsFactory.java
    • src/org/sosy_lab/cpachecker/core/algorithm/ProofCheckAlgorithm.java
    • src/org/sosy_lab/cpachecker/core/algorithm/ProofGenerator.java
    • src/org/sosy_lab/cpachecker/core/defaults/AbstractSingleWrapperElement.java
    • src/org/sosy_lab/cpachecker/core/interfaces/ProofChecker.java
    • src/org/sosy_lab/cpachecker/cpa/art/ARTCPA.java
    • src/org/sosy_lab/cpachecker/cpa/art/ARTElement.java
    • src/org/sosy_lab/cpachecker/cpa/art/ARTStopSep.java
    • src/org/sosy_lab/cpachecker/cpa/art/ARTTransferRelation.java
    • src/org/sosy_lab/cpachecker/cpa/art/ARTUtils.java
    • src/org/sosy_lab/cpachecker/cpa/automaton/Automaton.java
    • src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonInternalState.java
    • src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonState.java
    • src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonVariable.java
    • src/org/sosy_lab/cpachecker/cpa/automaton/ControlAutomatonCPA.java
    • src/org/sosy_lab/cpachecker/cpa/callstack/CallstackCPA.java
    • src/org/sosy_lab/cpachecker/cpa/callstack/CallstackElement.java
    • src/org/sosy_lab/cpachecker/cpa/composite/CompositeCPA.java
    • src/org/sosy_lab/cpachecker/cpa/composite/CompositeElement.java
    • src/org/sosy_lab/cpachecker/cpa/composite/CompositeStopOperator.java
    • src/org/sosy_lab/cpachecker/cpa/composite/CompositeTransferRelation.java
    • src/org/sosy_lab/cpachecker/cpa/conditions/global/GlobalConditionsCPA.java
    • src/org/sosy_lab/cpachecker/cpa/explicit/ExplicitElement.java
    • src/org/sosy_lab/cpachecker/cpa/guardededgeautomaton/productautomaton/ProductAutomatonCPA.java
    • src/org/sosy_lab/cpachecker/cpa/location/LocationCPA.java
    • src/org/sosy_lab/cpachecker/cpa/location/LocationElement.java
    • src/org/sosy_lab/cpachecker/cpa/predicate
    • src/org/sosy_lab/cpachecker/cpa/predicate/PredicateAbstractDomain.java
    • src/org/sosy_lab/cpachecker/cpa/predicate/PredicateAbstractElement.java
    • src/org/sosy_lab/cpachecker/cpa/predicate/PredicateAbstractionManager.java
    • src/org/sosy_lab/cpachecker/cpa/predicate/PredicateCPA.java
    • src/org/sosy_lab/cpachecker/cpa/predicate/PredicateCPAStatistics.java
    • src/org/sosy_lab/cpachecker/cpa/predicate/PredicateTransferRelation.java
    • src/org/sosy_lab/cpachecker/util/globalinfo
    • src/org/sosy_lab/cpachecker/util/globalinfo/AutomatonInfo.java
    • src/org/sosy_lab/cpachecker/util/globalinfo/CFAInfo.java
    • src/org/sosy_lab/cpachecker/util/globalinfo/GlobalInfo.java
    • src/org/sosy_lab/cpachecker/util/invariants/templates/TemplateFormulaManager.java
    • src/org/sosy_lab/cpachecker/util/predicates/AbstractionFormula.java
    • src/org/sosy_lab/cpachecker/util/predicates/CtoFormulaConverter.java
    • src/org/sosy_lab/cpachecker/util/predicates/ExtendedFormulaManager.java
    • src/org/sosy_lab/cpachecker/util/predicates/ForwardingFormulaManager.java
    • src/org/sosy_lab/cpachecker/util/predicates/PathFormula.java
    • src/org/sosy_lab/cpachecker/util/predicates/SSAMap.java
    • src/org/sosy_lab/cpachecker/util/predicates/interfaces/FormulaManager.java
    • src/org/sosy_lab/cpachecker/util/predicates/mathsat/MathsatFormula.java
    • src/org/sosy_lab/cpachecker/util/predicates/mathsat/MathsatFormulaList.java
    • src/org/sosy_lab/cpachecker/util/predicates/mathsat/MathsatFormulaManager.java
    • src/org/sosy_lab/pcc
    • test
BuildBot (0.8.5) working for the CPAchecker project.
Page built: Tue 22 May 2012 02:40:53 (CEST)