Evaluation.Machines
test_machines ∷ TestTree Source #
test_budget ∷ TestTree Source #
test_tallying ∷ TestTree Source #
test_NumberOfStepCounters ∷ TestTree Source #