This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 638 - Segfault when verifying cruise.xml example queries
Summary: Segfault when verifying cruise.xml example queries
Status: ASSIGNED
Alias: None
Product: UPPAAL Stratego
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.20-4
Hardware: PC Linux
: P5 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2017-06-15 18:09 CEST by Dan LaChapelle
Modified: 2019-01-25 12:06 CET (History)
0 users

See Also:
Architecture:

Attachments
Terminal output from running 'verifyta cruise.xml', truncated for size (properties 4-6). (4.10 KB, text/plain)
2017-06-15 18:09 CEST, Dan LaChapelle 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Dan LaChapelle 2017-06-15 18:09:46 CEST 
Created attachment 315 [details]
Terminal output from running 'verifyta cruise.xml', truncated for size (properties 4-6).

When I tried to test out the cruise.xml example (http://people.cs.aau.dk/~marius/stratego/cruise.xml), I got a segfault when verifying property 6: strategy safeFast = minE (D) [<=105]: <> time >= 100 under safe

I have attached some of the terminal output as log.txt. 

I originally got the error when I was using the graphical interface, and I got the message "server connection lost", so I tried using the verifyta in bin-Linux, which is when I got the segfault.