Project

General

Profile

Feature #10125

'--detailed' option for efsm-graphml-printer engine

Added by Sergey Smolov 11 months ago. Updated 11 months ago.

Status:
Resolved
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Printer)
Target version:
1.1
Start date:
02/19/2020
Due date:
% Done:

100%

Estimated time:
Published in build:

Description

A new option for efsm-graphml-printer engine is needed (note, that the engine prints EFSM model in a GraphML format).

If this option is enabled, the tool prints EFSM model in the same way it does it now (states, guards and transitions are printed).

If this option is not enabled, the tool prints EFSM model in a limited way (states are printed, but transitions are printed as non-labeled edges, guards\transitions aren't printed).

Associated revisions

Revision 79279e66 (diff)
Added by Sergey Smolov 11 months ago

efsm-graphml-printer: '--check' cmdline option (#10125)

Signed-off-by: Sergey Smolov <>

History

#1

Updated by Sergey Smolov 11 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Also available in: Atom PDF