Your message dated Sun, 01 Aug 2010 10:32:32 +0000
with message-id <e1ofvqk-0003hq...@franck.debian.org>
and subject line Bug#591140: fixed in sat4j 2.2.0-2
has caused the Debian Bug report #591140,
regarding sat4j: FTBFS: test 
org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest 
hangs
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
591140: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=591140
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: sat4j
Version: 2.2.0-1
Severity: serious
Tags: squeeze sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20100731 qa-ftbfs
Justification: FTBFS on amd64

Hi,

During a rebuild of all packages in sid, your package failed to build on
amd64.

Relevant part:
>  /usr/bin/fakeroot debian/rules binary
> dh_testdir
> CLASSPATH=/usr/share/java/ant.jar:/usr/share/java/ant-launcher.jar:/usr/share/java/ant-junit.jar:/usr/share/java/commons-cli.jar:/usr/share/java/commons-beanutils.jar:/usr/share/java/js.jar:/usr/share/java/junit4.jar:/usr/share/java/jmock.jar:/usr/share/java/hamcrest-core.jar:/usr/lib/jvm/java-6-openjdk/lib/tools.jar
>  /usr/lib/jvm/java-6-openjdk/bin/java org.apache.tools.ant.Main -propertyfile 
> debian/ant.properties -Drelease=2.2.0 p2-tests
> Buildfile: /build/user-sat4j_2.2.0-1-amd64-07k61x/sat4j-2.2.0/build.xml
> 
> p2-tests:
> 
> tests:
>      [echo] Compiling test files
>     [javac] /build/user-sat4j_2.2.0-1-amd64-07k61x/sat4j-2.2.0/build.xml:394: 
> warning: 'includeantruntime' was not set, defaulting to 
> build.sysclasspath=last; set to false for repeatable builds
>     [javac] Compiling 70 source files to 
> /build/user-sat4j_2.2.0-1-amd64-07k61x/sat4j-2.2.0/bin
>     [javac] Note: 
> /build/user-sat4j_2.2.0-1-amd64-07k61x/sat4j-2.2.0/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java
>  uses or overrides a deprecated API.
>     [javac] Note: Recompile with -Xlint:deprecation for details.
>     [javac] Note: Some input files use unchecked or unsafe operations.
>     [javac] Note: Recompile with -Xlint:unchecked for details.
>      [echo] Running JUNIT tests
>     [junit] WARNING: multiple versions of ant detected in path for junit 
>     [junit]          
> jar:file:/usr/share/java/ant-1.8.0.jar!/org/apache/tools/ant/Project.class
>     [junit]      and 
> jar:file:/usr/share/java/ant.jar!/org/apache/tools/ant/Project.class
>     [junit] Running org.sat4j.ModelIteratorTest
>     [junit] Tests run: 8, Failures: 0, Errors: 0, Time elapsed: 6.114 sec
>     [junit] Running org.sat4j.SingleSolutionTest
>     [junit] Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 0.059 sec
>     [junit] Running org.sat4j.TestConstrGroup
>     [junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 0.046 sec
>     [junit] Running org.sat4j.TestFreeId
>     [junit] Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 0.037 sec
>     [junit] Running org.sat4j.TestQuickExplain
>     [junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 0.057 sec
>     [junit] Running org.sat4j.core.VecTest
>     [junit] Tests run: 24, Failures: 0, Errors: 0, Time elapsed: 0.024 sec
>     [junit] Running org.sat4j.minisat.AbstractAcceptanceTestCase
>     [junit] Tests run: 1, Failures: 1, Errors: 0, Time elapsed: 0.011 sec
>     [junit] Test org.sat4j.minisat.AbstractAcceptanceTestCase FAILED
>     [junit] Running org.sat4j.minisat.GenericM2Test
>     [junit] Tests run: 23, Failures: 0, Errors: 0, Time elapsed: 0.747 sec
>     [junit] Running org.sat4j.minisat.M2AtLeastTest
>     [junit] Tests run: 98, Failures: 0, Errors: 0, Time elapsed: 0.702 sec
>     [junit] Running org.sat4j.minisat.M2BackjumpingTest
>     [junit] Tests run: 98, Failures: 0, Errors: 0, Time elapsed: 1.453 sec
>     [junit] Running org.sat4j.minisat.M2CardMaxYannTest
>     [junit] Tests run: 98, Failures: 0, Errors: 0, Time elapsed: 1.388 sec
>     [junit] Running org.sat4j.minisat.M2CardMinYannTest
>     [junit] Tests run: 98, Failures: 0, Errors: 0, Time elapsed: 1.211 sec
>     [junit] Running org.sat4j.minisat.M2MiniLearningCBTest
>     [junit] Tests run: 98, Failures: 0, Errors: 0, Time elapsed: 0.874 sec
>     [junit] Running org.sat4j.minisat.M2MiniLearningTest
>     [junit] Tests run: 98, Failures: 0, Errors: 0, Time elapsed: 0.715 sec
>     [junit] Running org.sat4j.minisat.M2MiniSATTest
>     [junit] Tests run: 98, Failures: 0, Errors: 0, Time elapsed: 0.716 sec
>     [junit] Running org.sat4j.minisat.M2RelsatTest
>     [junit] Tests run: 98, Failures: 0, Errors: 0, Time elapsed: 0.929 sec
>     [junit] Running org.sat4j.minisat.TestAssertion
>     [junit] Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 0.009 sec
>     [junit] Running org.sat4j.minisat.TestLubyFunction
>     [junit] Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 0.013 sec
>     [junit] Running org.sat4j.minisat.TestsFonctionnels
>     [junit] Tests run: 13, Failures: 0, Errors: 0, Time elapsed: 0.065 sec
>     [junit] Running org.sat4j.minisat.VarOrderTest
>     [junit] Tests run: 9, Failures: 0, Errors: 0, Time elapsed: 0.02 sec
>     [junit] Running org.sat4j.minisat.constraints.LitTest
>     [junit] Tests run: 5, Failures: 0, Errors: 0, Time elapsed: 0.015 sec
>     [junit] Running org.sat4j.minisat.core.HeapTest
>     [junit] Tests run: 8, Failures: 0, Errors: 0, Time elapsed: 0.017 sec
>     [junit] Running org.sat4j.minisat.core.LboolTest
>     [junit] Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 0.011 sec
>     [junit] Running org.sat4j.minisat.core.QueueTest
>     [junit] Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 0.034 sec
>     [junit] Running org.sat4j.minisat.core.TestAtMost
>     [junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 0.037 sec
>     [junit] Running org.sat4j.pb.TestDependencyHelper
>     [junit] Tests run: 19, Failures: 0, Errors: 0, Time elapsed: 0.094 sec
>     [junit] Running org.sat4j.pb.TestEclipseBug247567
>     [junit] Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 0.054 sec
>     [junit] Running org.sat4j.pb.TestEclipseBug275101
>     [junit] Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 0.37 sec
>     [junit] Running org.sat4j.pb.TestObjectiveFunction
>     [junit] Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 0.051 sec
>     [junit] Running 
> org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest
>     [junit] Exception in thread "main" java.lang.OutOfMemoryError: Java heap 
> space
>     [junit] Running 
> org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest
>     [junit] Tests run: 1, Failures: 0, Errors: 1, Time elapsed: 0 sec
>     [junit] Test 
> org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest 
> FAILED (crashed)
>     [junit] Running 
> org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTest
> make: *** wait: No child processes.  Stop.
> make: *** Waiting for unfinished jobs....
> make: *** wait: No child processes.  Stop.
> libfakeroot, when sending message: Invalid argument
> libfakeroot, when sending message: Invalid argument
> Build killed with signal TERM after 60 minutes of inactivity
> ────────────────────────────────────────────────────────────────────────────────
> Build finished at 20100731-2014

The full build log is available from:
   http://people.debian.org/~lucas/logs/2010/07/31/sat4j_2.2.0-1_lsid64.buildlog

A list of current common problems and possible solutions is available at 
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!

About the archive rebuild: The rebuild was done on about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot.  Internet was not
accessible from the build systems.

-- 
| Lucas Nussbaum
| lu...@lucas-nussbaum.net   http://www.lucas-nussbaum.net/ |
| jabber: lu...@nussbaum.fr             GPG: 1024D/023B3F4F |



--- End Message ---
--- Begin Message ---
Source: sat4j
Source-Version: 2.2.0-2

We believe that the bug you reported is fixed in the latest version of
sat4j, which is due to be installed in the Debian FTP archive:

sat4j_2.2.0-2.debian.tar.gz
  to main/s/sat4j/sat4j_2.2.0-2.debian.tar.gz
sat4j_2.2.0-2.dsc
  to main/s/sat4j/sat4j_2.2.0-2.dsc
sat4j_2.2.0-2_all.deb
  to main/s/sat4j/sat4j_2.2.0-2_all.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 591...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Michael Tautschnig <m...@debian.org> (supplier of updated sat4j package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 01 Aug 2010 12:03:10 +0200
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.2.0-2
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Michael Tautschnig <m...@debian.org>
Description: 
 sat4j      - Efficient library of SAT solvers in Java
Closes: 591140
Changes: 
 sat4j (2.2.0-2) unstable; urgency=low
 .
   * Disabled very expensive tests
     CompetPBRes(Min)?HTMixedConstraintsObjectiveLearningTest to fix FTBFS
     (closes: #591140)
   * Bumped standards version to 3.9.1 (no changes)
Checksums-Sha1: 
 28edf757badb9290aae4583dc264d135450ff673 1140 sat4j_2.2.0-2.dsc
 934d6ecac269e69a4c0f8d7a1070fb8271648952 10901 sat4j_2.2.0-2.debian.tar.gz
 91e3a3efd26619d03df2eff61834ba3e5b4241d4 522710 sat4j_2.2.0-2_all.deb
Checksums-Sha256: 
 c0fed412c7f8f6cee5a5fdbee7c571cb236e22c848c88b01fd600687382e0418 1140 
sat4j_2.2.0-2.dsc
 4146eb8bf584453cde8d6f4822f1fc6b32deef96efa6481c54bc2210f33ac846 10901 
sat4j_2.2.0-2.debian.tar.gz
 e469ad763329c8cc37841b04ac6985ff1e4cd0dc3bb874407ca0870356d4dc03 522710 
sat4j_2.2.0-2_all.deb
Files: 
 0b4c99655973361120d71ec35268040c 1140 science optional sat4j_2.2.0-2.dsc
 f8c0a581ba2dd62515a96b4756fd7f6e 10901 science optional 
sat4j_2.2.0-2.debian.tar.gz
 59344cd22d0ad435df35e0bc970bbd93 522710 science optional sat4j_2.2.0-2_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkxVSY0ACgkQvx6dH3bVKsTjtwCgt8D1WGjdSSkibmgBZwgAub6P
ma4An3wvZKCXJL6povveS2olt4hhfCWI
=tzWI
-----END PGP SIGNATURE-----



--- End Message ---

Reply via email to