-
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