Searched refs:IFS_MISMATCH_ARGUMENTS_BETWEEN_THREADS (Results 1 – 1 of 1) sorted by relevance
51 IFS_MISMATCH_ARGUMENTS_BETWEEN_THREADS = 5, enumerator67 [IFS_MISMATCH_ARGUMENTS_BETWEEN_THREADS] = "Mismatch in arguments between threads T0/T1.",143 case IFS_MISMATCH_ARGUMENTS_BETWEEN_THREADS: in can_restart()