Bug 411

Summary: "FATAL: kernel too old" followed by Segmentation fault
Product: UPPAAL Reporter: Timothy Bourke <tbourke>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: trivial CC: marius, tbourke
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Other   

Description Timothy Bourke 2007-04-10 13:27:34 CEST
Uppaal 4.0.6

The Linux binaries run on FreeBSD in compatability mode. When server.exe is run on a system emulating a 2.4.2 kernel it reports:
FATAL: kernel too old
and then causes a segmentation fault.

I understand that a 2.6.x kernel is required but the segmentation fault seems like a bug.
Comment 1 Gerd Behrmann 2007-04-10 14:07:41 CEST
Thanks. I don't have access to a FreeBSD box, so I have no chance to debug this. I will leave the bug open; maybe someone else here can do something about it.
Comment 2 Marius Mikučionis 2019-10-21 10:16:11 CEST
taking over