| 56 | }; |
| 57 | |
| 58 | static void usage(const char * argv0) { |
| 59 | fprintf(stderr, |
| 60 | "Usage: %s [--case NAME|all] [--dump-mismatch] [--n-threads N] [--max-wall-ms N] [--list]\n", |
| 61 | argv0); |
| 62 | } |
| 63 | |
| 64 | static bool parse_args(int argc, char ** argv, options & opts) { |
| 65 | for (int i = 1; i < argc; ++i) { |