Since it's a VERY long running process, it would be very sad to have to start all over if we figure something out in the meantime. We should be able to dump:
The current state of the GenMonad with the current fixes and generator
The current seed used for quickcheck and target generation
The current config and problem description
From those we should be able to restart, though a possible issue is that some of these
cannot be printed and then read back. But at least some way to restart would be nice.
Since it's a VERY long running process, it would be very sad to have to start all over if we figure something out in the meantime. We should be able to dump:
GenMonadwith the current fixes and generatorFrom those we should be able to restart, though a possible issue is that some of these cannot be printed and then read back. But at least some way to restart would be nice.