Broken `--with-all` option

[asr]

$ cat refl.fof
fof(refl, conjecture, ! [X] : X = X).

$ online-atps --with-all refl.fof
online-atps: missing --atp=NAME (try --help)

[jonaprieto]

In the past, this feature --with-all works with your problem? If so, how long it takes.

I am working on this in the issue44 branch, but it seems to never ending the process (test32 when you run make tests). And, maybe is because I continue sending one request per ATP.

[asr]

In the past, this feature --with-all works with your problem?

I don't remember.

On the issue44 branch, did you get some information when you run

online-atps --with-all --quiet-mode=-q0 refl.fof

?
I didn't.

[asr]

Any news on this issue?

[asr]

Great! Thanks!

[jonaprieto]

Sorry, it's not solved yet. :(