Victor Costan 8f464e7f68 Remove main() from most tests. 2 years ago
..
memenv 8f464e7f68 Remove main() from most tests. 2 years ago