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

Builder integration-predicateAnalysis-abm Build #244

Results:

Failed

SourceStamp:

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

BuildSlave:

mainslave

Reason:

scheduler

Steps and Logfiles:

  1. svn update ( 13 secs )
    1. stdio
  2. Local mods Ran ( 0 secs )
    1. stdio
  3. shell 'ant' ( 22 secs )
    1. stdio
  4. shell_1 benchmark.py ( 35 mins, 59 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 ( 0 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 244 Build
got_revision 5639 Source
project Build
regressionresult 2 Unknown
repository https://svn.sosy-lab.org/software/cpachecker/trunk Build
revision 5639 Build
rn1 test/results/-r5623#integration-predicateAnalysis-abm.12-02-16.0901.results.xml SetProperty Step
rn2 test/results/-r5628#integration-predicateAnalysis-abm.12-02-16.1721.results.xml SetProperty Step
rn3 test/results/-r5630#integration-predicateAnalysis-abm.12-02-17.0841.results.xml SetProperty Step
rn4 test/results/-r5631#integration-predicateAnalysis-abm.12-02-17.0918.results.xml SetProperty Step
rn5 test/results/-r5639#integration-predicateAnalysis-abm.12-02-17.0954.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. pwendler

Timing:

StartFri Feb 17 09:53:30 2012
EndFri Feb 17 10:30:30 2012
Elapsed36 mins, 59 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 #344

    Changed by pwendler
    Changed at Fri 17 Feb 2012 09:21:32
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5632

    Comments

    Use type IASTExpression instead of IASTNode to represent assumptions.

    Changed files

    • src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/ArithmeticOverflowAssumptionBuilder.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionBuilder.java
    • src/org/sosy_lab/cpachecker/util/assumptions/AssumptionManager.java
    • src/org/sosy_lab/cpachecker/util/assumptions/AssumptionManagerImpl.java

  2. Change #345

    Changed by pwendler
    Changed at Fri 17 Feb 2012 09:21:32
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5633

    Comments

    Refactoring related to AssumptionReportingElement,
which now provides assumptions as IASTExpressions instead of as
Formulas.
This eliminates the need for sharing the AssumptionManager.

    Changed files

    • src/org/sosy_lab/cpachecker/core/interfaces/conditions/AssumptionReportingElement.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionsCPA.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionsElement.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionsTransferRelation.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/storage/AssumptionStorageCPA.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/storage/AssumptionStorageTransferRelation.java
    • src/org/sosy_lab/cpachecker/util/assumptions/AssumptionManager.java
    • src/org/sosy_lab/cpachecker/util/assumptions/AssumptionManagerImpl.java

  3. Change #346

    Changed by pwendler
    Changed at Fri 17 Feb 2012 09:21:33
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5634

    Comments

    Remove almosty empty class AssumptionManager.

    Changed files

    • src/org/sosy_lab/cpachecker/cpa/assumptions/storage/AssumptionStorageCPA.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/storage/AssumptionStorageTransferRelation.java
    • src/org/sosy_lab/cpachecker/util/assumptions/AssumptionManager.java
    • src/org/sosy_lab/cpachecker/util/predicates/CtoFormulaConverter.java

  4. Change #347

    Changed by pwendler
    Changed at Fri 17 Feb 2012 09:21:33
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5635

    Comments

    Move class NumericTypes out of util.assumptions, it is more generally
used.

    Changed files

    • config/predicateAnalysis.properties
    • src/org/sosy_lab/cpachecker/cfa/ast/NumericTypes.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/ArithmeticOverflowAssumptionBuilder.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionsCPA.java
    • src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionsTransferRelation.java
    • src/org/sosy_lab/cpachecker/cpa/explicit/ExplicitTransferRelation.java
    • src/org/sosy_lab/cpachecker/cpa/interval/IntervalAnalysisTransferRelation.java
    • src/org/sosy_lab/cpachecker/util/assumptions/NumericTypes.java

  5. Change #348

    Changed by pwendler
    Changed at Fri 17 Feb 2012 09:21:33
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5636

    Comments

    Refactoring: make static method an instance method and delete the now
empty class HeuristicToFormula.

    Changed files

    • src/org/sosy_lab/cpachecker/cpa/conditions/path/AssignmentsInPathCondition.java
    • src/org/sosy_lab/cpachecker/cpa/conditions/path/AssumeEdgesInPathCondition.java
    • src/org/sosy_lab/cpachecker/cpa/conditions/path/PathLengthCondition.java
    • src/org/sosy_lab/cpachecker/cpa/conditions/path/RepetitionsInPathCondition.java
    • src/org/sosy_lab/cpachecker/cpa/loopstack/LoopstackElement.java
    • src/org/sosy_lab/cpachecker/cpa/monitor/MonitorElement.java
    • src/org/sosy_lab/cpachecker/cpa/monitor/MonitorPrecisionAdjustment.java
    • src/org/sosy_lab/cpachecker/cpa/monitor/MonitorTransferRelation.java
    • src/org/sosy_lab/cpachecker/util/assumptions/HeuristicToFormula.java
    • src/org/sosy_lab/cpachecker/util/assumptions/PreventingHeuristic.java

  6. Change #349

    Changed by pwendler
    Changed at Fri 17 Feb 2012 09:21:33
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5637

    Comments

    Some helper methods for working with abstract elements.

    Changed files

    • src/org/sosy_lab/cpachecker/core/algorithm/BMCAlgorithm.java
    • src/org/sosy_lab/cpachecker/cpa/uninitvars/UninitializedVariablesStatistics.java
    • src/org/sosy_lab/cpachecker/util/AbstractElements.java
    • src/org/sosy_lab/cpachecker/util/assumptions/ReportingUtils.java

  7. Change #350

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

    Comments

    Move utility method out of util.assumptions package, it is more
generally useful.

    Changed files

    • src/org/sosy_lab/cpachecker/core/algorithm/AssumptionCollectorAlgorithm.java
    • src/org/sosy_lab/cpachecker/core/algorithm/BMCAlgorithm.java
    • src/org/sosy_lab/cpachecker/util/AbstractElements.java
    • src/org/sosy_lab/cpachecker/util/assumptions/ReportingUtils.java

  8. Change #351

    Changed by pwendler
    Changed at Fri 17 Feb 2012 09:51:31
    Repository https://svn.sosy-lab.org/software/cpachecker/trunk
    Revision 5639

    Comments

    add svn:eol-style=native where missing

    Changed files

    • src/org/sosy_lab/cpachecker/cpa/ldd/LDDAbstractDomain.java
    • src/org/sosy_lab/cpachecker/cpa/ldd/LDDAbstractElement.java
    • src/org/sosy_lab/cpachecker/cpa/ldd/LDDAbstractionCPA.java
    • src/org/sosy_lab/cpachecker/cpa/ldd/LDDAbstractionTransferRelation.java
    • src/org/sosy_lab/cpachecker/cpa/ldd/Variable.java
    • src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/ColumnChoiceFrame.java
    • src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/ColumnChoiceStack.java
    • src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/OptionManager2.java
    • src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/PivotRow2.java
    • src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/PivotRowHandler2.java
    • src/org/sosy_lab/cpachecker/util/invariants/balancer/prh3/PivotRowHandler.java
    • src/org/sosy_lab/cpachecker/util/predicates/ldd/ExistsType.java
    • src/org/sosy_lab/cpachecker/util/predicates/ldd/LDD.java
    • src/org/sosy_lab/cpachecker/util/predicates/ldd/LDDFactory.java
    • src/org/sosy_lab/cpachecker/util/predicates/ldd/LDDRegion.java
    • src/org/sosy_lab/cpachecker/util/predicates/ldd/LDDRegionManager.java
    • src/org/sosy_lab/cpachecker/util/predicates/ldd/TheoryType.java
BuildBot (0.8.5) working for the CPAchecker project.
Page built: Tue 22 May 2012 02:27:13 (CEST)