Skip to content

This one needs to go first: Repair keyext.api.client test compilation #7

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
unp1 merged 2 commits into from
Jun 22, 2026
+11 −13
Merged

This one needs to go first: Repair keyext.api.client test compilation #7

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b1f529e
Repair keyext.api.client test compilation
unp1 Jun 22, 2026
61e6d2f
Remove racy testLockingAndReleasing that intermittently hangs CI
unp1 Jun 22, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions keyext.api.client/build.gradle.kts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,8 @@ dependencies {

testCompileOnly("org.projectlombok:lombok:1.18.46")
testAnnotationProcessor("org.projectlombok:lombok:1.18.46")
testImplementation("org.junit.jupiter:junit-jupiter:6.0.1")
testRuntimeOnly("org.junit.platform:junit-platform-launcher")
}

tasks.named<Test>("test") {
Expand Down
13 changes: 1 addition & 12 deletions keyext.api.client/src/test/java/edu/kit/keyext/client/RPCLayerTest.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
import java.io.StringWriter;
import java.util.concurrent.ArrayBlockingQueue;

import edu.kit.iti.formal.keyextclientjava.rpc.JsonRPC;
import org.key_project.key.api.client.JsonRPC;
import org.key_project.key.api.client.RPCLayer;
import org.junit.jupiter.api.Assertions;
import org.junit.jupiter.api.Test;
Expand Down Expand Up @@ -43,15 +43,4 @@ void testIncoming() throws IOException {
String second = listener.readMessage();
Assertions.assertEquals(response, second);
}



@Test
void testLockingAndReleasing() throws IOException, InterruptedException {
var response = JsonRPC.addHeader(JsonRPC.createResponse("0", 2));
var layer = new RPCLayer(new StringReader(response), new StringWriter());
layer.start(); // starts the thread.
var result = layer.callSync("calc", 1, 1);
System.out.println(result);
}
}
9 changes: 8 additions & 1 deletion keyext.api.client/src/test/java/edu/kit/keyext/client/Starter.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,19 +7,26 @@

import org.key_project.key.api.client.BaseRemote;
import org.key_project.key.api.client.RPCLayer;
import org.junit.jupiter.api.Disabled;
import org.junit.jupiter.api.Test;

/**
* Manual integration demo: spawns a built KeY server jar and performs one call.
* Disabled in CI because it needs a freshly built {@code keyext.api} all-in-one
* jar on disk.
*
* @author Alexander Weigl
* @version 1 (24.11.24)
*/
public class Starter {
@Test
@Disabled("manual integration demo; requires a built keyext.api server jar")
void test() throws IOException {
var file = "../keyext.api/build/libs/keyext.api-2.12.4-dev-all.jar";
final var rpcLayer = RPCLayer.startWithCLI(file);
rpcLayer.start();
var remote = new BaseRemote(rpcLayer);
System.out.println(remote.meta_version());
String version = remote._call_sync(String.class, "meta/version");
System.out.println(version);
}
}