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

Bug 638

Summary: Segfault when verifying cruise.xml example queries
Product: UPPAAL Stratego Reporter: Dan LaChapelle <daniel.m.lachapelle>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: normal    
Priority: P5    
Version: 4.1.20-4   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Terminal output from running 'verifyta cruise.xml', truncated for size (properties 4-6).

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.