ladr_to_tptp to crash immediately. It is fixed for the next release.
If you need ladr_to_tptp before then, you can make the following change and recompile.
In file provers.src/ladr_to_tptp.c, find the line
- Code: Select all
input = std_prover_init_and_input(0, NULL,
and change it to
- Code: Select all
input = std_prover_init_and_input(1, argv, // ignore command-line args
then recompile.
If your ladr_to_tptp does not crash, there's no need to make the change.
Bill