Enable coverOnTheFly after approaching memory cup#150

misonijnik merged 1 commit intomainUnitTestBot/klee:mainfrom

misonijnik/fixesUnitTestBot/klee:misonijnik/fixesCopy head branch name to clipboard