diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2018-03-08 12:26:22 -0300 |
|---|---|---|
| committer |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-15 15:21:52 +0200 |
| commit | bc103cc493b2127f8a570bcf2e8be94378d79a55 (patch) | |
| tree | 29a04f880006aaf25a0bf7aab8892e520579163d /library/global.ml | |
| parent | e82e8e216c4955db58255062fb5c61c7b2aa3c2a (diff) | |
Add test-suite case for performance, had to use Timeout
Diffstat (limited to 'library/global.ml')
0 files changed, 0 insertions, 0 deletions