stan/JavaTypeUnifyASP
1
0
Fork 0
forked from i21017/JavaTypeUnify
Code Pull Requests Activity

Comment out coConsTest

Browse Source
This commit is contained in:
Andreas Stadelmeier 2024-07-16 15:39:21 +02:00
parent 3c0f0dcf55
commit 02275e0b41
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/test/java/UnifyTest.java
View File

@ -42,7 +42,7 @@ public class UnifyTest {
System.out.println(ASPGenerator.generateExtendsRelations(ConstraintParser.parseExtendsRelations(input)));
//TODO: Finish Extends Relation parser
}
/*
@Test
public void orConsTest() throws IOException {
String input =
@ -58,7 +58,7 @@ public class UnifyTest {
System.out.println(ASPGenerator.generateASP(ConstraintParser.parse(input)));
System.out.println(ASPGenerator.generateExtendsRelations(ConstraintParser.parseExtendsRelations(input)));
}
*/
@Test
public void alotOfOrConstraintsTest(){
String input =