Startup issue of 3.5.0 on linux
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Critical
|
Kenneth Yrke Jørgensen | ||
3.5 |
Won't Fix
|
Critical
|
Kenneth Yrke Jørgensen |
Bug Description
I cannot get 3.5.0 to open on my machine. I've included what info I could find
3.4.2)
Exception in thread "main" java.lang.
at java.base/
at java.base/
at java.base/
at java.base/
at dk.aau.
at dk.aau.
at dk.aau.
at dk.aau.
at pipe.gui.
at net.tapaal.
Application opens and can be used
3.5.0)
Exception in thread "main" java.lang.
at java.base/
at java.base/
at java.base/
at java.base/
at dk.aau.
at dk.aau.
at dk.aau.
at dk.aau.
at pipe.gui.
at pipe.gui.
at net.tapaal.
Application doesn't open
Information about my system:
uname -a
Linux zenbook 5.0.2-arch1-1-ARCH #1 SMP PREEMPT Thu Mar 14 18:47:49 UTC 2019 x86_64 GNU/Linux
java -version
version "10.0.2" 2018-07-17
OpenJDK Runtime Environment (build 10.0.2+13)
OpenJDK 64-Bit Server VM (build 10.0.2+13, mixed mode)
output from dmesg when Tapaal (both versions) is run
[ 992.965793] verifytapn64[3847] vsyscall attempted with vsyscall=none ip:ffffffffff600400 cs:33 sp:7ffc2b17a218 ax:ffffffffff600400 si:7ffc2b17a4c8 di:0
[ 992.965797] verifytapn64[3847]: segfault at ffffffffff600400 ip ffffffffff600400 sp 00007ffc2b17a218 error 15
[ 992.965798] Code: Bad RIP value.
[ 992.965836] audit: type=1701 audit(155315963
[ 992.983133] audit: type=1130 audit(155315963
[ 993.216883] audit: type=1131 audit(155315963
Related branches
- Jiri Srba: Approve
-
Diff: 396 lines (+177/-165)4 files modifiedsrc/dk/aau/cs/verification/UPPAAL/Verifyta.java (+27/-23)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+50/-47)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+50/-48)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java (+50/-47)
- TAPAAL Maintainers: Pending requested
-
Diff: 396 lines (+177/-165)4 files modifiedsrc/dk/aau/cs/verification/UPPAAL/Verifyta.java (+27/-23)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+50/-47)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+50/-48)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java (+50/-47)
Changed in tapaal: | |
assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
Changed in tapaal: | |
status: | New → Confirmed |
output from my machine (AdoptOpenJDK): (build 1.8.0_202-b08) (build 25.202-b08, mixed mode)
C:\Users\kyrke>java -version
openjdk version "1.8.0_202"
OpenJDK Runtime Environment (AdoptOpenJDK)
OpenJDK 64-Bit Server VM (AdoptOpenJDK)