Log File contents

(view as text)
svn --version
 in dir /home/buildbot/mainslave/integration-predicateAnalysis-abm/build (timeout 1200 secs)
 watching logfiles {}
 argv: ['svn', '--version']
 environment:
  HOME=/home/buildbot
  LANG=de_DE.UTF-8
  LOGNAME=buildbot
  PATH=/home/buildbot/env/bin:/usr/bin:/bin
  PS1=(env)$ 
  PWD=/home/buildbot/mainslave/integration-predicateAnalysis-abm/build
  SHELL=/bin/sh
  VIRTUAL_ENV=/home/buildbot/env
 using PTY: False
svn, Version 1.6.12 (r955767)
   übersetzt Aug  5 2011, 17:07:24

Copyright (C) 2000-2009 CollabNet.
Subversion ist Open-Source-Software, siehe http://subversion.tigris.org/
Dieses Produkt enthält Software, die von CollabNet (http://www.Collab.Net/) entwickelt wurde.

Die folgenden ZugriffsModule (ZM) für Projektarchive stehen zur Verfügung:

* ra_neon : Modul zum Zugriff auf ein Projektarchiv über das Protokoll WebDAV mittels Neon.
  - behandelt Schema »http«
  - behandelt Schema »https«
* ra_svn : Modul zum Zugriff auf ein Projektarchiv über das svn-Netzwerkprotokoll.
  - mit Cyrus-SASL-Authentifizierung
  - behandelt Schema »svn«
* ra_local : Modul zum Zugriff auf ein Projektarchiv auf der lokalen Festplatte
  - behandelt Schema »file«

program finished with exit code 0
elapsedTime=0.013415
program finished with exit code 0
svn switch https://svn.sosy-lab.org/software/cpachecker/trunk . --revision 5639 --non-interactive --no-auth-cache
 in dir /home/buildbot/mainslave/integration-predicateAnalysis-abm/build (timeout 1200 secs)
 watching logfiles {}
 argv: ['svn', 'switch', 'https://svn.sosy-lab.org/software/cpachecker/trunk', '.', '--revision', '5639', '--non-interactive', '--no-auth-cache']
 environment:
  HOME=/home/buildbot
  LANG=de_DE.UTF-8
  LOGNAME=buildbot
  PATH=/home/buildbot/env/bin:/usr/bin:/bin
  PS1=(env)$ 
  PWD=/home/buildbot/mainslave/integration-predicateAnalysis-abm/build
  SHELL=/bin/sh
  VIRTUAL_ENV=/home/buildbot/env
 using PTY: False
Überspringe »doc/ConfigurationOptions.txt«
U    src/org/sosy_lab/cpachecker/cpa/explicit/ExplicitTransferRelation.java
U    src/org/sosy_lab/cpachecker/cpa/loopstack/LoopstackElement.java
U    src/org/sosy_lab/cpachecker/cpa/conditions/path/AssumeEdgesInPathCondition.java
U    src/org/sosy_lab/cpachecker/cpa/conditions/path/RepetitionsInPathCondition.java
U    src/org/sosy_lab/cpachecker/cpa/conditions/path/PathLengthCondition.java
U    src/org/sosy_lab/cpachecker/cpa/conditions/path/AssignmentsInPathCondition.java
U    src/org/sosy_lab/cpachecker/cpa/interval/IntervalAnalysisTransferRelation.java
U    src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionsTransferRelation.java
U    src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionBuilder.java
U    src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionsCPA.java
U    src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/ArithmeticOverflowAssumptionBuilder.java
U    src/org/sosy_lab/cpachecker/cpa/assumptions/genericassumptions/GenericAssumptionsElement.java
U    src/org/sosy_lab/cpachecker/cpa/assumptions/storage/AssumptionStorageTransferRelation.java
U    src/org/sosy_lab/cpachecker/cpa/assumptions/storage/AssumptionStorageCPA.java
U    src/org/sosy_lab/cpachecker/cpa/monitor/MonitorElement.java
U    src/org/sosy_lab/cpachecker/cpa/monitor/MonitorPrecisionAdjustment.java
U    src/org/sosy_lab/cpachecker/cpa/monitor/MonitorTransferRelation.java
U    src/org/sosy_lab/cpachecker/cpa/uninitvars/UninitializedVariablesStatistics.java
UU   src/org/sosy_lab/cpachecker/cpa/ldd/LDDAbstractDomain.java
UU   src/org/sosy_lab/cpachecker/cpa/ldd/LDDAbstractionTransferRelation.java
UU   src/org/sosy_lab/cpachecker/cpa/ldd/LDDAbstractElement.java
UU   src/org/sosy_lab/cpachecker/cpa/ldd/LDDAbstractionCPA.java
UU   src/org/sosy_lab/cpachecker/cpa/ldd/Variable.java
U    src/org/sosy_lab/cpachecker/core/interfaces/conditions/AssumptionReportingElement.java
U    src/org/sosy_lab/cpachecker/core/algorithm/AssumptionCollectorAlgorithm.java
U    src/org/sosy_lab/cpachecker/core/algorithm/BMCAlgorithm.java
A    src/org/sosy_lab/cpachecker/cfa/ast/NumericTypes.java
U    src/org/sosy_lab/cpachecker/util/AbstractElements.java
U    src/org/sosy_lab/cpachecker/util/predicates/CtoFormulaConverter.java
UU   src/org/sosy_lab/cpachecker/util/predicates/ldd/ExistsType.java
UU   src/org/sosy_lab/cpachecker/util/predicates/ldd/LDDRegionManager.java
UU   src/org/sosy_lab/cpachecker/util/predicates/ldd/LDD.java
UU   src/org/sosy_lab/cpachecker/util/predicates/ldd/LDDRegion.java
UU   src/org/sosy_lab/cpachecker/util/predicates/ldd/LDDFactory.java
UU   src/org/sosy_lab/cpachecker/util/predicates/ldd/TheoryType.java
D    src/org/sosy_lab/cpachecker/util/assumptions/AssumptionManagerImpl.java
D    src/org/sosy_lab/cpachecker/util/assumptions/NumericTypes.java
D    src/org/sosy_lab/cpachecker/util/assumptions/HeuristicToFormula.java
D    src/org/sosy_lab/cpachecker/util/assumptions/ReportingUtils.java
D    src/org/sosy_lab/cpachecker/util/assumptions/AssumptionManager.java
A    src/org/sosy_lab/cpachecker/util/assumptions/PreventingHeuristic.java
 U   src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/ColumnChoiceFrame.java
 U   src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/OptionManager2.java
 U   src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/PivotRowHandler2.java
 U   src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/PivotRow2.java
 U   src/org/sosy_lab/cpachecker/util/invariants/balancer/prh12/ColumnChoiceStack.java
 U   src/org/sosy_lab/cpachecker/util/invariants/balancer/prh3/PivotRowHandler.java
U    config/predicateAnalysis.properties

Hole externen Verweis nach »lib/source/ccvisu«

svn: warnung: Arbeitskopie »lib/source/ccvisu« gesperrt

Hole externen Verweis nach »test/programs/benchmarks«
Externer Verweis aktualisiert zu Revision 77.

Aktualisiert zu Revision 5639.
Konfliktübersicht:
  Übersprungene Pfade: 1
program finished with exit code 0
elapsedTime=13.145484
svnversion
 in dir /home/buildbot/mainslave/integration-predicateAnalysis-abm/build (timeout 1200 secs)
 watching logfiles {}
 argv: ['svnversion']
 environment:
  HOME=/home/buildbot
  LANG=de_DE.UTF-8
  LOGNAME=buildbot
  PATH=/home/buildbot/env/bin:/usr/bin:/bin
  PS1=(env)$ 
  PWD=/home/buildbot/mainslave/integration-predicateAnalysis-abm/build
  SHELL=/bin/sh
  VIRTUAL_ENV=/home/buildbot/env
 using PTY: False
5031:5639M
program finished with exit code 0
elapsedTime=0.107564