- added optimization to implicant intersection computation for the case that...

- added optimization to implicant intersection computation for the case that no decision happened for the model computation
- added unit test for that optimization
- removed or changed wrong or confusing comments
6 jobs for prefbones in 2 minutes and 51 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #22803
jars-j8

00:00:38

failed #22802
java8

00:02:12

 
  Test
skipped #22804
allowed to fail
java7
skipped #22806
allowed to fail
maven36-java11
skipped #22807
allowed to fail
maven36-java13
skipped #22805
allowed to fail
maven36-java8
 
Name Stage Failure
failed
java8 Build
    at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:229)
at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:415)
at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:356)
110174 [ERROR]
110174 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
110174 [ERROR]
110174 [ERROR] For more information about the errors and possible solutions, please read the following articles:
110174 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
ERROR: Job failed: exit code 1