search

warthog-logic / warthog

A Logic Framework in Scala
16 stars 5 forks source link

Travis test fails #13

Closed kgrupp closed 10 years ago

kgrupp commented 10 years ago

I analyzed the failing travis tests. The test fails when the class

org.warthog.pl.decisionprocedures.satsolver.impl.picosat.Picosat

is imported/used in the test. Which is currently in PicosatTest, CardinalityConstraintTest, PBCtoSATTest (in branch aTransofPBCtoSAT) and DNNFCompilationTest (in branch dnnf)

First apperance is in commit of 21 January 2013 (master Merge branch 'master' of github.com:warthog-logic/warthog)

I have no idea which causes the error, but maybe you have an idea.

SHildebrandt commented 10 years ago

In some earlier builds I find the error message

Unable to load library 'picosat': /home/travis/build/warthog-logic/warthog/lib/solvers/picosat/linux/libpicosat.so: wrong ELF class: ELFCLASS32

I think this is still the same error. libpicosat.so seems to be a 32-bit version of Picosat and we currently don't provide a 64-bit version for Linux. Maybe the problem is just the travis server running a 64-bit Linux?!

SHildebrandt commented 10 years ago

I tried to fix the problem on branch fix/picosat by providing a picosat library for linux 64 bit. The library/class loads fine, however it crashes during the execution of the native code (picosat_add). See https://travis-ci.org/warthog-logic/warthog#L356

I tried both using a compiled picosat library from some website and compiling it myself (with configuration shared=1).

Any ideas?

SHildebrandt commented 10 years ago

I just tried picosat-951 (instead of the most recent version 959) which is working fine. The changes to 959 don't seem to affect us. Close?!

kuebler commented 10 years ago

Closed issue as travis build is back to green thanks to @SHildebrandt's changes