Viewing all changes in revision 824.
- Committer: launchpad-janitor
- Date: 2013-11-12 13:50:27 UTC
- mfrom: (823.1.13 moreFrequentMemoryReporting)
- Revision ID: tapaal@cs.aau.dk-20131112135027-hqj3s2ezjix06fyd
Batch processing and query dialog now make a faster sampling of memory peaks for the first two seconds, after this they are sampled every second. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
expand all
collapse all
added
removed
