lp:~verifypn-maintainers/verifypn/emptyTracePrint

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 218

Jiri Srba: Approve on 2019-04-01

Peter Gjøl Jensen: Pending requested 2019-03-28

Diff: 21 lines (+10/-1)

1 file modified

PetriEngine/Reachability/ResultPrinter.cpp (+10/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

219. By Jiri Srba <email address hidden> on 2019-04-01

fixed printing empty trace in case tar is enabled

218. By Jiri Srba on 2019-03-28

If trace was empty, printing the <trace> and </trace> anyway

217. By Jiri Srba <email address hidden> on 2019-03-28

increased version number to 3.0.2

216. By Jiri Srba <email address hidden> on 2019-03-28

merged in lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation when reduction rule H is enabled

215. By <email address hidden> on 2019-03-14

added consistency tests

214. By Jiri Srba on 2019-03-02

added MCC competition scripts

213. By Jiri Srba on 2018-09-11

merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix fixing a bug in query rewriting

212. By Jiri Srba <email address hidden> on 2018-06-29

updated competition script not to create temporary files

211. By Jiri Srba <email address hidden> on 2018-06-29

increased version number to 3.0.1

210. By Jiri Srba <email address hidden> on 2018-06-26

merged in branch lp:~verifypn-cpn/verifypn/unfold-improve