~verifypn-stub/verifypn/short-circut

Viewing all changes in revision 179.

  • Committer: Jiri Srba
  • Date: 2017-05-13 10:34:54 UTC
  • Revision ID: srba@cs.aau.dk-20170513103454-09uxo4shzqrv2ton
added 2 seconds to each timeout to avoid calling our eengine with timeout 0 

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: