Build Sat4j from HEAD

Build: #177 failed Changes by Daniel Le Berre

Test results

  • 1,013 tests in total
  • 1 test failed
  • 1 failure is new
  • 1 minute taken in total.
New test failures 1
Status Test View job Duration
Collapse Failed BugSAT79 testSuccessiveCallsInGlobalTimeout History
Continuous Integration 3 secs
java.lang.AssertionError: expected:<13> but was:<12>
	at org.sat4j.BugSAT79.testSuccessiveCallsInGlobalTimeout(BugSAT79.java:31)