From 5844a5f9a395ac1c20e9f4bc65a3179b6bc4bd7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Janis=20Da=CC=88hne?= <janis.daehne@informatik.uni-halle.de>
Date: Wed, 24 May 2023 11:05:27 +0200
Subject: [PATCH] - added support for adt structural induction checker (test)
---
src/helpers/convertersAndTransformers.ts | 4 ++--
src/types/testTypes.ts | 1 +
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/helpers/convertersAndTransformers.ts b/src/helpers/convertersAndTransformers.ts
index 47c47511..69be066d 100644
--- a/src/helpers/convertersAndTransformers.ts
+++ b/src/helpers/convertersAndTransformers.ts
@@ -878,7 +878,7 @@ export function convertTestProtocol(protocol: ReadonlyArray<string>,
})
}
- else if (testType.internalName === KnownInternalTestTypes.externalCheckerTest) {
+ else if (testType.internalName === KnownInternalTestTypes.externalCheckerTest || testType.internalName === KnownInternalTestTypes.externalCheckerStructuralInductionTest) {
return protocol.map<TestProtocolItem>(line => {
@@ -888,7 +888,7 @@ export function convertTestProtocol(protocol: ReadonlyArray<string>,
//some normal lines from the checker
return {
- type: TestProtocolType.isOutput,
+ type: TestProtocolType.plain,
hasOutputMismatched: false,
content: line.substring(TestProtocol.outputSign.length),
}
diff --git a/src/types/testTypes.ts b/src/types/testTypes.ts
index 025afec5..a8755fd5 100644
--- a/src/types/testTypes.ts
+++ b/src/types/testTypes.ts
@@ -30,6 +30,7 @@ export enum KnownInternalTestTypes {
compileTest = 'compileTest',
regexTest = 'regexTest',
externalCheckerTest = 'externalCheckerTest',
+ externalCheckerStructuralInductionTest = 'externalCheckerStructuralInductionTest',
/**
* in this case the test content is
* @see CompareFileTestContentFrontendOnly[]
--
GitLab