~verifypn-stub/verifypn/trace-search

Viewing all changes in revision 147.

  • Committer: Peter Gjøl Jensen
  • Date: 2016-12-13 22:38:40 UTC
  • Revision ID: peter.gjoel@gmail.com-20161213223840-y22d08w8kveldfcx
now rejects nets not exported as PNML

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: