Merge branch 'VERIPB2' of https://gitlab.ow2.org/sat4j/sat4j into VERIPB

2 jobs for VERIPB2 in 51 minutes and 17 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Build
passed maven38-java11 #64453

00:23:46

 
  Test
failed maven38-java16 #64454
allowed to fail

00:27:30

 
Name Stage Failure
failed
maven38-java16 Test
1642194 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
1642194 [ERROR]
1642194 [ERROR] For more information about the errors and possible solutions, please read the following articles:
1642194 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
1642195 [ERROR]
1642195 [ERROR] After correcting the problems, you can resume the build with the command
1642195 [ERROR] mvn <args> -rf :org.ow2.sat4j.pb
Cleaning up file based variables
ERROR: Job failed: exit code 1