diff --git a/src/emulator/pin/causalityTool.cpp b/src/emulator/pin/causalityTool.cpp index 6c707dd..216fd5d 100755 --- a/src/emulator/pin/causalityTool.cpp +++ b/src/emulator/pin/causalityTool.cpp @@ -612,7 +612,7 @@ VOID printip(THREADID tid, VOID *ip, char *asmString, bool predicateInsnNotExecu uint64_t nip = MASK & (uint64_t) ip; if(traceMethod==SharedMemory) { - if(predicateInsnNotExecuted) + if(!predicateInsnNotExecuted) { while (tst->analysisFn(tid, nip, PREDICATE_INSN_NOT_EXECUTED, 1) == -1) { PIN_Yield();