agrego libreria javabdd al proyecto

3 jobs for feature/ltlSynthesis in 31 minutes and 46 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #73652
build-job

00:01:02

passed #73653
package-job

00:02:10

 
  Test
failed #73654
test-job1

00:28:33

 
Name Stage Failure
failed
test-job1 Test
[ERROR] -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
Cleaning up project directory and file based variables
ERROR: Job failed: exit status 1