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

Bug 320

Summary: Segmentation fault when using option -T for verifyta
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: major    
Priority: P1    
Version: unspecified   
Hardware: PC   
OS: Linux   

Description Ulrik Nyman 2006-04-26 21:49:40 CEST
The follwing is the output from simply running verifyta with option -T on one of the demo models. It also gives segmentation fault for some of the other models.

This gives a segmentation fault.

 ./verifyta -T ../demo/fischer.xml ../demo/fischer.q
Options for the verification:
  Generating no trace
  Search order is breadth first
  Using conservative space optimisation
  Using reuse optimisation
  Seed is 1146077262
  State space representation uses minimal constraint systems

Verifying property 1 at line 11
Comment 1 Gerd Behrmann 2006-04-27 17:14:59 CEST
Fixed on the trunk from rev. 1759.