~tapaal-contributor/tapaal/BDDtestBranch

Viewing all changes in revision 820.

  • Committer: launchpad-janitor
  • Author(s): Mathias Grund Sørensen
  • Date: 2013-11-05 13:50:35 UTC
  • mfrom: (819.1.1 maxMemorySwitch)
  • Revision ID: tapaal@cs.aau.dk-20131105135035-z7yp3cdqvy9ehta1
Batch processing now allows killing verification if a given memory limit is exceeded. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: