Testing fails with EOF on test folder

[danjenson]

I have run the following command: python evaluate.py ours+hammer ours+hammer-TEST --path runs/astactic/checkpoints/model_003.pth --filter zfc and it ran for ~14 hours before failing with the following:

Can you please advise what this is and how it may be remedied? We are trying to reproduce your results.

[danjenson]

A cursory inspection suggests sertop --implicit --omit_loc --print0 is not matching the expectatio on line 82. I ran this command from CLI and got the following:

[yangky11]

Looks like serapi is producing an unexpected error. I'll try to run the code and get back to you. What is "line 82"?

[yangky11]

Hi,

I cannot run python evaluate.py ours+hammer ours+hammer-TEST --path runs/astactic/checkpoints/model_003.pth --filter zfc due to the change in --filter's behavior that you tried to introduce in #83. Could you please provide an example that will trigger the error in the original codebase instead of your own modified repo? Thanks.

[yangky11]

Also, I have just added a Docker image with everything pre-installed: https://github.com/princeton-vl/CoqGym#2-using-coqgym-in-docker. Hopefully it can make it easier to set up

[yangky11]

Closing due to inactivity.