2017-03-09 20:40:01 -08:00
|
|
|
#include "test_helper.h"
|
2017-08-08 12:42:49 -07:00
|
|
|
#include "helpers/random_helpers.h"
|
2013-11-05 22:15:19 -08:00
|
|
|
|
2018-04-20 10:00:00 -07:00
|
|
|
int TREE_SITTER_SEED = 0;
|
|
|
|
|
|
2014-03-09 20:20:49 -07:00
|
|
|
int main(int argc, char *argv[]) {
|
2015-12-10 21:01:27 -08:00
|
|
|
const char *seed_env = getenv("TREE_SITTER_SEED");
|
|
|
|
|
if (seed_env) {
|
2018-04-20 10:00:00 -07:00
|
|
|
TREE_SITTER_SEED = atoi(seed_env);
|
2015-12-10 21:01:27 -08:00
|
|
|
} else {
|
2018-04-20 10:00:00 -07:00
|
|
|
TREE_SITTER_SEED = get_time_as_seed();
|
2015-12-10 21:01:27 -08:00
|
|
|
}
|
|
|
|
|
|
2018-04-20 10:00:00 -07:00
|
|
|
printf("Random seed: %d\n", TREE_SITTER_SEED);
|
2018-05-11 16:10:36 -07:00
|
|
|
default_generator.reseed(TREE_SITTER_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
|
|
|
}
|