Resume learning with counterexample

[lmoellering]

Hi,

if I have added a counterexample and want to resume learning, the following error message appears:

The test number is the same, which one receives by the http request ../results/latest and the project id is also correct.

[abainczyk]

Hi, sorry but I cannot reproduce this error. Please provide an example or the concrete steps to reproduce this.

[abainczyk]

is this still an issue?

[lmoellering]

is fixed.