Victor Costan 8f464e7f68 Remove main() from most tests. il y a 3 ans
..
issue178_test.cc Remove main() from most tests. il y a 3 ans
issue200_test.cc Remove main() from most tests. il y a 3 ans
issue320_test.cc Remove main() from most tests. il y a 3 ans