threads: in case of flipper, differentiate between fuzz result and klee result. the klee result is the one that has to be added in the result list
threads: in case of flipper, differentiate between fuzz result and klee result. the klee result is the one that has to be added in the result list

tum-i22/macke,tum-i22/macke,tum-i22/macke