fix: Get rid of the testcases spamming mode#187

misonijnik merged 1 commit intomainUnitTestBot/klee:mainfrom

misonijnik/get-rid-of-testcase-spammerUnitTestBot/klee:misonijnik/get-rid-of-testcase-spammerCopy head branch name to clipboard