Fix memory leak when setting new coverage with remote call
Let's not use atexit for factory cleanup.
Use correct variable in end condition coverage init
Remember to log random init on heuristics
Merge remote-tracking branch '01/devel' into for-devel
Added lookahead_noprogress
remove commented code
heuristic_random: logging improvements

- log random seed, even if not defined by user
- do not log "/dev/random" when using "/dev/urandom"