Bug 320 - Segmentation fault when using option -T for verifyta
Summary: Segmentation fault when using option -T for verifyta
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Linux
: P1 major
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-04-26 21:49 CEST by Ulrik Nyman
Modified: 2006-04-27 17:14 CEST (History)
0 users

See Also:


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
Comment 1 Gerd Behrmann 2006-04-27 17:14:59 CEST
Fixed on the trunk from rev. 1759.