| author | Martin Geisler <mg@daimi.au.dk> |
| Sun, 31 Aug 2008 16:12:02 +0200 | |
| changeset 6953 | 63b5f4c73c98 |
| parent 5099 | 105d4cf7ec24 |
| child 8021 | 1c2cf2e5dc9b |
| permissions | -rw-r--r-- |
|
5099
105d4cf7ec24
Test --time, --profile and --lsprof
Patrick Mezard <pmezard@gmail.com>
parents:
diff
changeset
|
1 |
% test --time |
|
105d4cf7ec24
Test --time, --profile and --lsprof
Patrick Mezard <pmezard@gmail.com>
parents:
diff
changeset
|
2 |
% test --profile |
|
105d4cf7ec24
Test --time, --profile and --lsprof
Patrick Mezard <pmezard@gmail.com>
parents:
diff
changeset
|
3 |
% test --lsprof |