search

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
https://www.tapaal.net
3 stars 11 forks source link

Only xml queries 1984064 #17

Closed LenaSaid closed 2 years ago

LenaSaid commented 2 years ago

When exporting, saving, or verifying the queries will be converted to XML format instead of text. They will also have the .xml ending.

Importing and opening can still accept text and xml formats.

Solves https://bugs.launchpad.net/tapaal/+bug/1984064.

LenaSaid commented 2 years ago

Works nicely, however, why does it print empty lines when saving the files (in the XML query part)? Also the saved .tapn file contains as line -3, which seems to be completely useless (and it is not even in the scope of the query.

This is fixed now

srba commented 2 years ago

It still prints empty lines in XML query to .tapn files.