~verifypn-stub/verifypn/ctl-flow

Viewing all changes in revision 180.

  • Committer: Jakob Dyhr
  • Date: 2017-05-15 11:13:46 UTC
  • Revision ID: jdyhr12@student.aau.dk-20170515111346-ykchctdpc441qyx0
Removed the forced call to ctl engine from main when -ctl is used

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: