Package hydra.testing
-
Interface Summary Interface Description EvaluationStyle.PartialVisitor<R> EvaluationStyle.Visitor<R> TestCase.PartialVisitor<R> TestCase.Visitor<R> -
Class Summary Class Description CaseConversionTestCase A test case which checks that strings are converted between different case conventions correctlyEvaluationStyle One of two evaluation styles: eager or lazyEvaluationStyle.Eager EvaluationStyle.Lazy EvaluationTestCase A test case which evaluates (reduces) a given term and compares it with the expected resultInferenceTestCase A test case which performs type inference on a given term and compares the result with an expected type schemeTag TestCase A simple test case with an input and an expected outputTestCase.CaseConversion TestCase.Evaluation TestCase.Inference TestCaseWithMetadata One of a number of test case variants, together with metadata including a test name, an optional description, and optional tagsTestGroup A collection of test cases with a name and optional description