arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-10 03:10:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

removed useless import

Browse Source
This commit is contained in:
uogau 2021-02-08 13:45:35 +01:00
parent 612edac87b
commit 84ebf99ecc
6 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/test/java/edu/kit/typicalc/model/step/AbsStepDefaultTest.java
View File

@ -43,7 +43,7 @@ class AbsStepDefaultTest {
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(new EmptyStep(), step1);
assertNotEquals(step1, null);
assertNotEquals(null, step1);
assertNotEquals(step1, step3);
}

2
src/test/java/edu/kit/typicalc/model/step/AbsStepWithLetTest.java
View File

@ -43,7 +43,7 @@ class AbsStepWithLetTest {
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(new EmptyStep(), step1);
assertNotEquals(step1, null);
assertNotEquals(null, step1);
assertNotEquals(step1, step3);
}

2
src/test/java/edu/kit/typicalc/model/step/AppStepDefaultTest.java
View File

@ -47,7 +47,7 @@ class AppStepDefaultTest {
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(new EmptyStep(), step1);
assertNotEquals(step1, null);
assertNotEquals(null, step1);
assertNotEquals(step1, step3);
assertNotEquals(step1, step4);
assertNotEquals(step1, step5);

3
src/test/java/edu/kit/typicalc/model/step/LetStepDefaultTest.java
View File

@ -2,7 +2,6 @@ package edu.kit.typicalc.model.step;
import edu.kit.typicalc.model.Conclusion;
import edu.kit.typicalc.model.Constraint;
import edu.kit.typicalc.model.TypeVariableFactory;
import edu.kit.typicalc.model.term.IntegerTerm;
import edu.kit.typicalc.model.term.VarTerm;
import edu.kit.typicalc.model.type.NamedType;
@ -48,7 +47,7 @@ class LetStepDefaultTest {
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(new EmptyStep(), step1);
assertNotEquals(step1, null);
assertNotEquals(null, step1);
assertNotEquals(step1, step3);
assertNotEquals(step1, step4);
assertNotEquals(step1, step5);

2
src/test/java/edu/kit/typicalc/model/step/VarStepDefaultTest.java
View File

@ -44,7 +44,7 @@ class VarStepDefaultTest {
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(new EmptyStep(), step1);
assertNotEquals(step1, null);
assertNotEquals(null, step1);
assertNotEquals(step1, step3);
assertNotEquals(step1, step4);
assertNotEquals(step1, step5);

2
src/test/java/edu/kit/typicalc/model/step/VarStepWithLetTest.java
View File

@ -44,7 +44,7 @@ class VarStepWithLetTest {
assertEquals(step1, step1);
assertEquals(step1, step2);
assertNotEquals(new EmptyStep(), step1);
assertNotEquals(step1, null);
assertNotEquals(null, step1);
assertNotEquals(step1, step3);
assertNotEquals(step1, step4);
assertNotEquals(step1, step5);