Log File contents

(view as text)
svn --version
 in dir /home/buildbot/mainslave/integration-explicitAnalysis/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-explicitAnalysis/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.014624
program finished with exit code 0
svn switch https://svn.sosy-lab.org/software/cpachecker/trunk . --revision 5654 --non-interactive --no-auth-cache
 in dir /home/buildbot/mainslave/integration-explicitAnalysis/build (timeout 1200 secs)
 watching logfiles {}
 argv: ['svn', 'switch', 'https://svn.sosy-lab.org/software/cpachecker/trunk', '.', '--revision', '5654', '--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-explicitAnalysis/build
  SHELL=/bin/sh
  VIRTUAL_ENV=/home/buildbot/env
 using PTY: False
Überspringe »doc/ConfigurationOptions.txt«
 U   test
D    src/org/sosy_lab/pcc
U    src/org/sosy_lab/cpachecker/cpa/explicit/ExplicitElement.java
U    src/org/sosy_lab/cpachecker/cpa/art/ARTElement.java
U    src/org/sosy_lab/cpachecker/cpa/art/ARTStopSep.java
U    src/org/sosy_lab/cpachecker/cpa/art/ARTUtils.java
U    src/org/sosy_lab/cpachecker/cpa/art/ARTTransferRelation.java
U    src/org/sosy_lab/cpachecker/cpa/art/ARTCPA.java
U    src/org/sosy_lab/cpachecker/cpa/predicate/PredicateCPAStatistics.java
U    src/org/sosy_lab/cpachecker/cpa/predicate/PredicateTransferRelation.java
U    src/org/sosy_lab/cpachecker/cpa/predicate/PredicateAbstractDomain.java
U    src/org/sosy_lab/cpachecker/cpa/predicate/PredicateCPA.java
U    src/org/sosy_lab/cpachecker/cpa/predicate/PredicateAbstractionManager.java
U    src/org/sosy_lab/cpachecker/cpa/predicate/PredicateAbstractElement.java
 U   src/org/sosy_lab/cpachecker/cpa/predicate
U    src/org/sosy_lab/cpachecker/cpa/composite/CompositeStopOperator.java
U    src/org/sosy_lab/cpachecker/cpa/composite/CompositeTransferRelation.java
U    src/org/sosy_lab/cpachecker/cpa/composite/CompositeCPA.java
U    src/org/sosy_lab/cpachecker/cpa/composite/CompositeElement.java
U    src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonInternalState.java
U    src/org/sosy_lab/cpachecker/cpa/automaton/Automaton.java
U    src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonState.java
U    src/org/sosy_lab/cpachecker/cpa/automaton/AutomatonVariable.java
U    src/org/sosy_lab/cpachecker/cpa/automaton/ControlAutomatonCPA.java
U    src/org/sosy_lab/cpachecker/cpa/location/LocationElement.java
U    src/org/sosy_lab/cpachecker/cpa/location/LocationCPA.java
U    src/org/sosy_lab/cpachecker/cpa/conditions/global/GlobalConditionsCPA.java
U    src/org/sosy_lab/cpachecker/cpa/guardededgeautomaton/productautomaton/ProductAutomatonCPA.java
U    src/org/sosy_lab/cpachecker/cpa/callstack/CallstackCPA.java
U    src/org/sosy_lab/cpachecker/cpa/callstack/CallstackElement.java
A    src/org/sosy_lab/cpachecker/core/interfaces/ProofChecker.java
U    src/org/sosy_lab/cpachecker/core/CoreComponentsFactory.java
A    src/org/sosy_lab/cpachecker/core/algorithm/ProofCheckAlgorithm.java
A    src/org/sosy_lab/cpachecker/core/algorithm/ProofGenerator.java
U    src/org/sosy_lab/cpachecker/core/defaults/AbstractSingleWrapperElement.java
U    src/org/sosy_lab/cpachecker/core/CPAchecker.java
D    src/org/sosy_lab/cpachecker/cmdline/PCCProofCheckMain.java
U    src/org/sosy_lab/cpachecker/cmdline/CPAMain.java
U    src/org/sosy_lab/cpachecker/util/predicates/AbstractionFormula.java
U    src/org/sosy_lab/cpachecker/util/predicates/CtoFormulaConverter.java
U    src/org/sosy_lab/cpachecker/util/predicates/interfaces/FormulaManager.java
U    src/org/sosy_lab/cpachecker/util/predicates/mathsat/MathsatFormulaManager.java
U    src/org/sosy_lab/cpachecker/util/predicates/mathsat/MathsatFormulaList.java
U    src/org/sosy_lab/cpachecker/util/predicates/mathsat/MathsatFormula.java
U    src/org/sosy_lab/cpachecker/util/predicates/ExtendedFormulaManager.java
U    src/org/sosy_lab/cpachecker/util/predicates/PathFormula.java
U    src/org/sosy_lab/cpachecker/util/predicates/ForwardingFormulaManager.java
U    src/org/sosy_lab/cpachecker/util/predicates/SSAMap.java
A    src/org/sosy_lab/cpachecker/util/globalinfo
A    src/org/sosy_lab/cpachecker/util/globalinfo/AutomatonInfo.java
A    src/org/sosy_lab/cpachecker/util/globalinfo/CFAInfo.java
A    src/org/sosy_lab/cpachecker/util/globalinfo/GlobalInfo.java
U    src/org/sosy_lab/cpachecker/util/invariants/templates/TemplateFormulaManager.java
 U   build.xml
 U   .classpath
D    config/proofCarryingCode-abe.properties
D    config/proofCarryingCode-sbe.properties
D    config/proofCarryingCode-lbe.properties
D    config/proofCarryingCode-albe.properties
A    config/predicateAnalysis-proofgen.properties
A    config/predicateAnalysis-proofcheck.properties
 U   README.txt
 U   .settings/org.eclipse.jdt.core.prefs
 U   .settings
 U   .

Hole externen Verweis nach »lib/source/ccvisu«

Hole externen Verweis nach »lib/source/ccvisu/src/org/sosy_lab/common«
Externer Verweis aktualisiert zu Revision 205.

Aktualisiert zu Revision 1270.
Konfliktübersicht:
  Übersprungene Pfade: 1

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

Aktualisiert zu Revision 5654.
program finished with exit code 0
elapsedTime=18.969650
svnversion
 in dir /home/buildbot/mainslave/integration-explicitAnalysis/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-explicitAnalysis/build
  SHELL=/bin/sh
  VIRTUAL_ENV=/home/buildbot/env
 using PTY: False
5031:5654M
program finished with exit code 0
elapsedTime=0.071820