Searched refs:QuickCheck (Results 1 – 2 of 2) sorted by relevance
52 The test data generation is inspired by the QuickCheck testing
1170 T Context, bool QuickCheck = true) { in getOprIdx() argument1177 if (QuickCheck && isValidOpr<T>(Id, OpInfo, OpInfoSize, Context) && in getOprIdx()