Build Sat4j from HEAD

Build: #179 failed Manual run by Daniel Le Berre

Build result summary

Details

Completed
Duration
1 minute
Labels
None
Show more

Responsible

No one has taken responsibility for this failure

Configuration changes

Plan configuration has changed since the last successful build. See the plan audit log for more details.

Tests

New test failures 1
Status Test View job Duration
Collapse Failed BugSAT79 testSuccessiveCallsInGlobalTimeout History
Continuous Integration 3 secs
java.lang.AssertionError: expected:<5> but was:<4>
	at org.sat4j.BugSAT79.testSuccessiveCallsInGlobalTimeout(BugSAT79.java:31)