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

Fix unification test

Browse Source
This commit is contained in:
Arne Keller 2021-08-21 16:45:05 +02:00
parent d721fb1c33
commit b558d3cbf5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -25,7 +25,7 @@ class UnificationTest {
Deque<Constraint> constraints = new ArrayDeque<>(); Deque<Constraint> constraints = new ArrayDeque<>();
constraints.add(new Constraint(a, new FunctionType(b, c))); constraints.add(new Constraint(a, new FunctionType(b, c)));
Deque<Constraint> initialConstraints = new ArrayDeque<>(constraints); Deque<Constraint> initialConstraints = new ArrayDeque<>(constraints);
Unification u = new Unification(constraints); Unification u = new Unification(new ArrayDeque<>(constraints));
List<UnificationStep> steps = u.getUnificationSteps(); List<UnificationStep> steps = u.getUnificationSteps();
assertEquals(2, steps.size()); assertEquals(2, steps.size());
assertEquals(new UnificationStep(new Result<>(new ArrayList<>()), assertEquals(new UnificationStep(new Result<>(new ArrayList<>()),