Joël Vimenet

Results 13 comments of Joël Vimenet

I realised I was wrong. I thought the task did not complete, but actually it completes, but does not fail. Do you see a reason to have such a difference...

I finally made the test pass by increasing the number of clauses, because the CI machine has more ram than mine, so it accepted more clauses.

Hello @Philippus It seems you're taking over the project. Could you give a look to this PR please? Thanks a lot.