ant
 in dir /home/buildbot/mainslave/integration-predicateAnalysis-abm/build (timeout 1200 secs)
 watching logfiles {}
 argv: ['ant']
 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
Buildfile: /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/build.xml

init:
     [echo] Building CPAchecker 1.1-svn

bootstrap-ivy:

load-ivy:

update-contrib:

resolve-dependencies:
     [echo] Downloading and installing dependencies with Ivy...
[ivy:resolve] :: Ivy 2.2.0 - 20100923230623 :: http://ant.apache.org/ivy/ ::
[ivy:resolve] :: loading settings :: file = /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/ivysettings.xml
[ivy:resolve] :: resolving dependencies :: org.sosy_lab#CPAchecker;working@pc-wehr-serv1
[ivy:resolve] 	confs: [build, runtime, test]
[ivy:resolve] 	found org.apache.ivy#ivy;2.2.0 in Sosy-Lab
[ivy:resolve] 	found de.jflex#jflex;1.4.3 in Sosy-Lab
[ivy:resolve] 	found edu.tum.cs#java-cup;11a in Sosy-Lab
[ivy:resolve] 	found org.apache.ant#ant-junit;1.8.2 in Sosy-Lab
[ivy:resolve] 	found org.sosy_lab#common;0.201 in Sosy-Lab
[ivy:resolve] 	found com.google.guava#guava;10.0 in Sosy-Lab
[ivy:resolve] 	found com.google.code.findbugs#jsr305;1.3.9 in Sosy-Lab
[ivy:resolve] 	found com.googlecode.json-simple#json-simple;1.1 in Sosy-Lab
[ivy:resolve] 	found net.sf.javabdd#javabdd;1.0b2 in Sosy-Lab
[ivy:resolve] 	found org.jgrapht#jgrapht-jdk1.6;0.8.2 in Sosy-Lab
[ivy:resolve] 	found com.ibm.icu#icu4j;4.8.1.1 in Sosy-Lab
[ivy:resolve] 	found org.eclipse.cdt#core;5.3.1.201109151620 in Sosy-Lab
[ivy:resolve] 	found org.eclipse.core#resources;3.7.100.v20110510-0712 in Sosy-Lab
[ivy:resolve] 	found org.eclipse.equinox#common;3.6.0.v20110523 in Sosy-Lab
[ivy:resolve] 	found org.eclipse.osgi#osgi;3.7.1.R37x_v20110808-1106 in Sosy-Lab
[ivy:resolve] 	found junit#junit;4.10 in Sosy-Lab
[ivy:resolve] 	found org.hamcrest#hamcrest-core;1.1 in Sosy-Lab
[ivy:resolve] :: resolution report :: resolve 283ms :: artifacts dl 9ms
	---------------------------------------------------------------------
	|                  |            modules            ||   artifacts   |
	|       conf       | number| search|dwnlded|evicted|| number|dwnlded|
	---------------------------------------------------------------------
	|       build      |   4   |   0   |   0   |   0   ||   4   |   0   |
	|      runtime     |   12  |   0   |   0   |   0   ||   12  |   0   |
	|       test       |   2   |   0   |   0   |   0   ||   2   |   0   |
	---------------------------------------------------------------------
[ivy:retrieve] :: retrieving :: org.sosy_lab#CPAchecker [sync]
[ivy:retrieve] 	confs: [build, runtime, test]
[ivy:retrieve] 	0 artifacts copied, 18 already retrieved (0kB/12ms)

build-subprojects:
     [echo] Generate automaton parser if necessary

generate-scanner:

generate-parser:
     [echo] Generate FQL parser if necessary

generate-scanner:

generate-parser:

build-dependencies:

build-project:
   [depend] The class org.sosy_lab.cpachecker.util.assumptions.AssumptionManagerImpl in file /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin/org/sosy_lab/cpachecker/util/assumptions/AssumptionManagerImpl.class is out of date due to org.sosy_lab.cpachecker.util.predicates.CtoFormulaConverter but has not been deleted because its source file could not be determined
   [depend] Deleted 16 out of date files in 0 seconds
    [javac] Compiling 5 source files to /home/buildbot/mainslave/integration-predicateAnalysis-abm/build/bin
    [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
    [javac] 1 warning

build-documentation:
     [echo] running OptionCollector...
     [java] INFO: Could not load 'LDDRegionManager.class' for getting Option-annotations: no JLDD in java.library.path
     [java] INFO: Could not read sourcefiles for getting the default values.
     [echo] Options collected.

build:

BUILD SUCCESSFUL
Total time: 4 seconds
program finished with exit code 0
elapsedTime=5.109789