Builder benchmark-examples Build #272

Results:

Build successful

SourceStamp:

BuildSlave:

Reason:

scheduler

Steps and Logfiles:

1. svn update ( 18 secs )
   1. stdio
2. Local mods Ran ( 0 secs )
   1. stdio
3. shell 'ant' ( 7 secs )
   1. stdio
4. shell_1 benchmark.py ( 4 mins, 10 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 ( 28 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. TABLE

Build Properties:

Blamelist:

1. pwendler

Timing:

Resubmit Build:

All Changes:

1. 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

2. 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

3. 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

4. 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

5. 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