/bugzilla3/ Bug 320 – Segmentation fault when using option -T for verifyta
First Last Prev Next    No search results available
Bug 320 - Segmentation fault when using option -T for verifyta
: Segmentation fault when using option -T for verifyta
Status: RESOLVED FIXED
Product: UPPAAL
Engine
: unspecified
: PC Linux
: P1 major (vote)
Assigned To: Gerd Behrmann
:
:
:
  Show dependency tree / graph
 
Reported: 2006-04-26 21:49 CEST by Ulrik Nyman
Modified: 2006-04-27 17:14 CEST (History)
0 users (show)

See Also:

Attachments
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 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.
First Last Prev Next    No search results available