Closed stschaef closed 4 months ago
https://hub.docker.com/r/dlshriver/dnnv
This page suggests maybe a licensing issue with the Gurobi solver, although this seems unlikely because all of the other tests pass, meaning the tool was running correctly in those instances
Same issue as #721 , the problem is with the test in this case.
I'm able to use Marabou locally on my M1 macbook, but I'm seeking to use it in a Docker image. I want to have a portable experiment that I can run on things like AWS or a cluster without having to manually load dependencies etc.
In my current attempt at making this image, Compilation completes 100% but there is a problem when testing. Marabou builds just fine, except a single unit test (
Test_SumOfInfeasibilitiesManager
) fails. This doesn't happen for me locally, even on the same commit.I am unsure if this is a configuration issue on my end or some weird bug underlying the lib. Here is my
Dockerfile
,The above is at Marabou
HEAD
, but I also tried reverting to a previous release1271f92
with no luckand the
conda
environment for good measure,and the actual test output,