Trace generation problem

Bug #1297702 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
VerifyTAPN
New
Critical
Unassigned

Bug Description

Run the attached net and query with the following switches:

-k 10 -t 1 -x -o 3 -f 1

It will output that it cannot generate trace because: entry time dbm empty

Otherwise the verification runs ok.

Revision history for this message
Jiri Srba (srba) wrote :
Revision history for this message
Jiri Srba (srba) wrote :

And the query

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Bug attachments

Remote bug watches

Bug watches keep track of this bug in other bug trackers.