2017-03-09 20:40:01 -08:00
|
|
|
#include "test_helper.h"
|
2013-11-05 22:15:19 -08:00
|
|
|
|
2014-03-09 20:20:49 -07:00
|
|
|
int main(int argc, char *argv[]) {
|
2015-12-10 21:01:27 -08:00
|
|
|
int seed;
|
|
|
|
|
const char *seed_env = getenv("TREE_SITTER_SEED");
|
|
|
|
|
if (seed_env) {
|
|
|
|
|
seed = atoi(seed_env);
|
|
|
|
|
} else {
|
|
|
|
|
seed = time(nullptr);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
printf("Random seed: %d\n", seed);
|
2015-12-10 21:23:23 -08:00
|
|
|
srandom(seed);
|
2015-12-10 21:01:27 -08:00
|
|
|
|
2014-08-06 13:00:35 -07:00
|
|
|
return bandit::run(argc, argv);
|
2014-03-08 15:26:27 -08:00
|
|
|
}
|