mirror of
https://gitlab.kit.edu/uskyk/typicalc.git
synced 2024-11-08 18:30:42 +00:00
fix test
This commit is contained in:
parent
00511cb4d3
commit
32dd59ef28
@ -18,8 +18,8 @@ class LatexCreatorTermTest {
|
||||
@Test
|
||||
void absTest() {
|
||||
typeInferer = model.getTypeInferer("λx.y", new HashMap<>()).unwrap();
|
||||
assertEquals(PAREN_LEFT + LAMBDA + SPACE + MONO_TEXT + "{x}" + DOT_SIGN
|
||||
+ LATEX_SPACE + MONO_TEXT + "{y}" + PAREN_RIGHT,
|
||||
assertEquals(LAMBDA + SPACE + MONO_TEXT + "{x}" + DOT_SIGN
|
||||
+ LATEX_SPACE + MONO_TEXT + "{y}",
|
||||
new LatexCreatorTerm(typeInferer.getFirstInferenceStep().getConclusion().getLambdaTerm()).getLatex());
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user