Show net after structural reductions

Bug #1879130 reported by Jiri Srba on 2020-05-17
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Thomas Pedersen

Bug Description

This is relevant only for the CTL query dialog that allows the option for structural reductions. The Verification Result shows the number of applications of reduction rules. Would be nice to have a button next to the statistics of how many reductions rules were used that would say "Open the reduced net". By clicking this, a new tab should open that would display the reduced net. The net needs to be first composed into a single net (this happens automatically in GUI before the engine is called). The engine should be in this case called with a special switch --write-reduced <filename>
so that the engine outputs the reduced net in to a file. This file should be then opened in a separate tab.

Related branches

Jiri Srba (srba) on 2020-05-17
Changed in tapaal:
assignee: nobody → Thomas Pedersen (tpede16)
Changed in tapaal:
status: New → In Progress
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers