Builder integration-predicateAnalysis Build #239
Results:
Warnings
SourceStamp:
| Repository | https://svn.sosy-lab.org/software/cpachecker/trunk |
| Revision | 5639 |
| Got Revision | 5639 |
| Changes | see below |
BuildSlave:
mainslaveReason:
scheduler
Steps and Logfiles:
-
svn update ( 17 secs )
-
Local mods Ran ( 0 secs )
-
shell 'ant' ( 6 secs )
-
shell_1 benchmark.py ( 35 mins, 53 secs )
-
setproperty 5 properties set ( 0 secs )
-
shell_2 Cleanup results ( 0 secs )
-
shell_3 regression.py ( 0 secs )
-
shell_4 table_generator.py ( 0 secs )
-
MasterShellCommand Ran ( 22 secs )
-
shell_5 Prepare results 2 ( 0 secs )
-
Transfer results uploading results ( 0 secs )
- - no logs -
-
Final result Final result ( 0 secs )
Build Properties:
| Name | Value | Source |
|---|---|---|
| branch | None | Build |
| buildername | integration-predicateAnalysis | Builder |
| buildnumber | 239 | Build |
| got_revision | 5639 | Source |
| project | Build | |
| regressionresult | 1 | Unknown |
| repository | https://svn.sosy-lab.org/software/cpachecker/trunk | Build |
| revision | 5639 | Build |
| rn1 | test/results/-r5623#integration-predicateAnalysis.12-02-16.0902.results.xml | SetProperty Step |
| rn2 | test/results/-r5628#integration-predicateAnalysis.12-02-16.1722.results.xml | SetProperty Step |
| rn3 | test/results/-r5630#integration-predicateAnalysis.12-02-17.0841.results.xml | SetProperty Step |
| rn4 | test/results/-r5637#integration-predicateAnalysis.12-02-17.0927.results.xml | SetProperty Step |
| rn5 | test/results/-r5639#integration-predicateAnalysis.12-02-17.1004.results.xml | SetProperty Step |
| scheduler | all | Scheduler |
| slavename | mainslave | BuildSlave |
| workdir | /home/buildbot/mainslave/integration-predicateAnalysis | slave |
| xmlfile | test/test-sets/integration-predicateAnalysis.xml | Builder |
Blamelist:
- pwendler
Timing:
| Start | Fri Feb 17 10:04:07 2012 |
| End | Fri Feb 17 10:40:48 2012 |
| Elapsed | 36 mins, 41 secs |
Resubmit Build:
All Changes:
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
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