You can specify filename for output video by using -out_filename res.avi

AlexeyAB

2017-08-23 76276fdbeade20f30f9474e32a289dba5c09d920

 src/utils.h

@@ -63,6 +63,9 @@
char *find_char_arg(int argc, char **argv, char *arg, char *def);
int sample_array(float *a, int n);
void print_statistics(float *a, int n);
unsigned int random_gen();
float random_float();
float rand_uniform_strong(float min, float max);

#endif