A possible bug

[Ramesh Kumar]

Hi David.

I have moved to Ubuntu 20.04 environment after having trouble in Windows.

I got this message after Prism crashing, which is possibly a bug. It is not affecting my progress, so look at it in your own pace.

Regards,   ...Ramesh

#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007f08c8aa60e8, pid=177273, tid=0x00007f07b0fff700
#
# JRE version: OpenJDK Runtime Environment (8.0_312-b07) (build 1.8.0_312-8u312-b07-0ubuntu1~20.04-b07)
# Java VM: OpenJDK 64-Bit Server VM (25.312-b07 mixed mode linux-amd64 compressed oops)
# Problematic frame:
# V  [libjvm.so+0x9ef0e8]
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
[thread 139671332845312 also had an error]
[thread 139671333897984 also had an error]
# An error report file with more information is saved as:
# /home/css/Downloads/prism-games-3.0-linux64/bin/hs_err_pid177273.log
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.java.com/bugreport/crash.jsp
#
Aborted (core dumped)

[Dave Parker]

Thanks Ramesh. Happy to look into this, but you'll need to provide more
detail, in particular the files and command-line that produced this.

Best wishes,

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/c7642999-d74c-4660-b224-a23f7e52e402n%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/c7642999-d74c-4660-b224-a23f7e52e402n%40googlegroups.com?utm_medium=email&utm_source=footer>.