Skip to content

Commit 8ea32e2

Browse files
committed
Use DroneCommunicator_Mockup again for DroneMainController test
Until the antlr-parser can successfully type-check the non-mockup version.
1 parent 2e86d7a commit 8ea32e2

File tree

2 files changed

+3
-7
lines changed

2 files changed

+3
-7
lines changed

src/test/java/de/hhu/stups/codegenerator/java/TestMachines.java

+2-6
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
package de.hhu.stups.codegenerator.java;
22

33
import de.hhu.stups.codegenerator.generators.CodeGenerationException;
4-
import de.prob.parser.ast.visitors.TypeErrorException;
4+
55
import org.junit.Ignore;
66
import org.junit.Test;
77

@@ -768,11 +768,7 @@ public void testDroneCommunicatorMockup() throws Exception {
768768

769769
@Test
770770
public void testDroneMainController() throws Exception {
771-
try {
772-
testJava("drone/DroneMainController");
773-
} catch (TypeErrorException e) {
774-
System.out.println(e.getMessage());
775-
}
771+
testJava("drone/DroneMainController");
776772
}
777773

778774
}

src/test/resources/de/hhu/stups/codegenerator/drone/DroneMainController.mch

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
MACHINE DroneMainController
2-
INCLUDES DroneSafetyController, DroneCommunicator
2+
INCLUDES DroneSafetyController, DroneCommunicator_Mockup
33

44
OPERATIONS
55

0 commit comments

Comments
 (0)