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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P1
Version:	unspecified
Hardware:	PC
OS:	Linux
Architecture:

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
Lagersegmentfejl

Comment 1 Gerd Behrmann 2006-04-27 17:14:59 CEST

Fixed on the trunk from rev. 1759.