Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Broken --with-all option #44

Open
asr opened this issue Feb 9, 2017 · 5 comments
Open

Broken --with-all option #44

asr opened this issue Feb 9, 2017 · 5 comments

Comments

@asr
Copy link
Contributor

asr commented Feb 9, 2017

$ cat refl.fof
fof(refl, conjecture, ! [X] : X = X).
$ online-atps --with-all refl.fof
online-atps: missing --atp=NAME (try --help)
@jonaprieto
Copy link
Owner

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
Copy link
Contributor Author

asr commented Mar 26, 2017

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
Copy link
Contributor Author

asr commented Apr 26, 2017

Any news on this issue?

@asr
Copy link
Contributor Author

asr commented Sep 19, 2017

Great! Thanks!

@jonaprieto
Copy link
Owner

Sorry, it's not solved yet. :(

@jonaprieto jonaprieto reopened this Sep 19, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants