Public bug reported: For reproducing bug: 1. Check out sources from SVN repository: https://svn.sosy-lab.org/software/cpachecker/trunk 2. Update to revision 5850 3. Build CPAchecker with ant 4. Extract files in the attachment cpa_jre_crash.zip 5. Add cpa.sh script to the PATH (scripts/cpa.sh in CPAchecher install directory) 6. Run script ./cpa_run 7. The log will be written to cpa_log file
The bug should be reproduced in approximately 5 minutes, if not, please rerun, it is nondeterministic. Attached crash logs (inside zip): hs_err_pid13775.log hs_err_pid15222.log ** Affects: openjdk-6 (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/960106 Title: JRE 6.0_22-b22 fatal error when executing CPAchecker To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/openjdk-6/+bug/960106/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs