pub fn judge<J>(
judge: J,
object: impl FnMut(J::Change) -> Vec<J::Change>,
) -> Result<Outcome<J>, J::Error>where
J: Judge,
Expand description
A test driver for a cause-effect system.
Test drive the task with the judge, and return the number of times the judge has called the task.
See the test_stack
module in the source code for an example.
See also: judge_panic
, Judge
, Outcome
.