| author | Martin Geisler <mg@daimi.au.dk> |
| Tue, 03 Feb 2009 21:38:36 +0100 | |
| changeset 7735 | 2e48668b51f0 |
| 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 |