Attempt to find an example input where the pair of given unary functions
is not equal. Given an arbitrary of A, an equivalence for B and a
pair of functions, check the functions compute the same B given the
same A, for numRuns values. Returns a boolean flag indicating
equivalence.
Attempt to find an example input where the pair of given unary functions is not equal. Given an arbitrary of
A
, an equivalence forB
and a pair of functions, check the functions compute the sameB
given the sameA
, fornumRuns
values. Returns a boolean flag indicating equivalence.