Communication with verifypn engine

Bug #1680569 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Critical
Peter Haahr Taankvist

Bug Description

The communication with the engine happens through *.q file where queries are
in the text file. It should be changed into *.xml query format that should be passed
to the engine.

Jiri Srba (srba)
Changed in tapaal:
importance: Critical → High
Jiri Srba (srba)
Changed in tapaal:
assignee: nobody → Peter Haahr Taankvist (ptaank)
importance: High → Critical
Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

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