Resume Learning with non-default environment

Question

Resume Learning with non-default environment

lmoellering opened this issue 4 years ago · 1 comments

If I want to resume a learning process that started with a non-default environment, for example by giving a counterexample, this will be done with the default environment.

Answer 1 · 2020-08-17T12:59:16.000Z

Fixed in ea1c942

The problem was more that the specified counterexample was tested on the default environment rather than on one specified in the setup. The learning process itsself however resumed with the correct environment.