Miscellaneous usage of the -F option

[wegank]

In src/msolve/main.c, It is written that

msolve/src/msolve/main.c

Lines 101 to 102 in 754adb7

	fprintf(stdout, "\nAdvanced options:\n\n");
	display_option_help('F', "", "FILE", "File name encoding parametrizations in binary format.\n\n");

However, I haven't found any examples in the repo using that option. Even worse, calling msolve with -F gives me segfaults for all entries I tried. From what I've read, the filename is supposed to be written to files->bin_file, which is then used... nowhere?

msolve/src/msolve/main.c

Line 539 in 754adb7

get_data_from_file(files->in_file, &nr_vars, &field_char, &nr_gens, gens);

Or could someone explain to me how to use this option correctly?