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

Builder integration-explicitAnalysis Build #264

Results:

Failed

SourceStamp:

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

BuildSlave:

mainslave

Reason:

scheduler

Steps and Logfiles:

  1. svn update ( 24 secs )
    1. stdio
  2. Local mods Ran ( 0 secs )
    1. stdio
  3. shell 'ant' ( 9 secs )
    1. stdio
  4. shell_1 benchmark.py ( 24 mins, 54 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 ( 22 secs )
    1. stdio
  10. shell_5 Prepare results 2 ( 0 secs )
    1. stdio
  11. Transfer results uploading results ( 2 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-explicitAnalysis Builder
buildnumber 264 Build
got_revision 5643 Source
project Build
regressionresult 2 Unknown
repository https://svn.sosy-lab.org/software/cpachecker/trunk Build
revision 5643 Build
rn1 test/results/-r5630#integration-explicitAnalysis.12-02-17.0841.results.xml SetProperty Step
rn2 test/results/-r5631#integration-explicitAnalysis.12-02-17.0906.results.xml SetProperty Step
rn3 test/results/-r5638#integration-explicitAnalysis.12-02-17.0932.results.xml SetProperty Step
rn4 test/results/-r5639#integration-explicitAnalysis.12-02-17.0958.results.xml SetProperty Step
rn5 test/results/-r5643#integration-explicitAnalysis.12-02-17.1023.results.xml SetProperty Step
scheduler all Scheduler
slavename mainslave BuildSlave
workdir /home/buildbot/mainslave/integration-explicitAnalysis slave
xmlfile test/test-sets/integration-explicitAnalysis.xml Builder

Blamelist:

  1. pwendler

Timing:

StartFri Feb 17 10:22:43 2012
EndFri Feb 17 10:48:36 2012
Elapsed25 mins, 52 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 #352

    Changed by pwendler
    Changed at Fri 17 Feb 2012 10:11:31
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5641

    Comments

    fix warnings

    Changed files

    • src/org/sosy_lab/cpachecker/cpa/explicit/ExplicitCPA.java
    • src/org/sosy_lab/cpachecker/cpa/explicit/ExplicitRefiner.java
    • src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/PivotRow2.java
    • src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/UsableColumn.java

  2. Change #353

    Changed by pwendler
    Changed at Fri 17 Feb 2012 10:11:31
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5643

    Comments

    Revert accidential commit of config file which cause build 238 to break.

    Changed files

    • config/predicateAnalysis.properties
BuildBot (0.8.5) working for the CPAchecker project.
Page built: Sat 19 May 2012 13:57:35 (CEST)