Searched refs:checkDoubleConsume (Results 1 – 1 of 1) sorted by relevance
482 checkDoubleConsume(Value value, in checkDoubleConsume() function512 if (failed(checkDoubleConsume(argument, report))) in verify()531 if (failed(checkDoubleConsume(result, report))) in verify()