Testing nondeterminism