From 54bfb17b6df41b46146223f93fa40fc308eae447 Mon Sep 17 00:00:00 2001
From: Cookiebowser <lucas.doering@live.de>
Date: Thu, 11 Aug 2022 12:07:57 +0200
Subject: [PATCH] added SetRelation test
---
.../stups/codegenerator/rust/TestOthers.java | 10 ++++++++
.../hhu/stups/codegenerator/rust/TestRS.java | 23 ++++++++++++++-----
.../SetRelationConstructs_MC.out | 3 +++
3 files changed, 30 insertions(+), 6 deletions(-)
create mode 100644 src/test/java/de/hhu/stups/codegenerator/rust/TestOthers.java
create mode 100644 src/test/resources/de/hhu/stups/codegenerator/SetRelationConstructs_MC.out
diff --git a/src/test/java/de/hhu/stups/codegenerator/rust/TestOthers.java b/src/test/java/de/hhu/stups/codegenerator/rust/TestOthers.java
new file mode 100644
index 000000000..69a95e46b
--- /dev/null
+++ b/src/test/java/de/hhu/stups/codegenerator/rust/TestOthers.java
@@ -0,0 +1,10 @@
+package de.hhu.stups.codegenerator.rust;
+
+import org.junit.Test;
+
+public class TestOthers extends TestRS{
+ @Test
+ public void test_SetRelationConstructs() throws Exception {
+ testRSMC("SetRelationConstructs", true);
+ }
+}
diff --git a/src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java b/src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java
index 01d9d31a7..ad5de11f0 100644
--- a/src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java
+++ b/src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java
@@ -4,6 +4,7 @@ import de.hhu.stups.codegenerator.CodeGenerator;
import de.hhu.stups.codegenerator.GeneratorMode;
import java.io.*;
+import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.Arrays;
@@ -56,15 +57,25 @@ public class TestRS {
Path mchPath = Paths.get(CodeGenerator.class.getClassLoader()
.getResource("de/hhu/stups/codegenerator/" + machine + ".mch").toURI());
CodeGenerator codeGenerator = new CodeGenerator();
- List<Path> rsFilePaths = codeGenerator.generate(mchPath, GeneratorMode.RS,
- false, String.valueOf(Integer.MIN_VALUE),
- String.valueOf(Integer.MAX_VALUE), "10",
- modelChecking, false,true,
- addition, false, false, null);
+ List<Path> rsFilePaths = codeGenerator.generate(mchPath,
+ GeneratorMode.RS,
+ false,
+ String.valueOf(Integer.MIN_VALUE),
+ String.valueOf(Integer.MAX_VALUE),
+ "10",
+ modelChecking,
+ false,
+ true,
+ addition,
+ false,
+ false,
+ null,
+ null);
Path typesPath = Paths.get(this.getClass().getClassLoader().getResource("./").toURI()).getParent().getParent().getParent().getParent().resolve(Paths.get("btypes_primitives/src/main/rust/bmachine/src"));
+ Files.createDirectories(typesPath);
File[] oldFiles = typesPath.toFile().listFiles();
- if (oldFiles != null && oldFiles.length > 0) Arrays.stream(oldFiles).forEach(file -> file.delete());
+ if (oldFiles != null && oldFiles.length > 0) Arrays.stream(oldFiles).forEach(this::cleanUp);
rsFilePaths = rsFilePaths.stream().map(file -> {
Path dest = typesPath.resolve(Paths.get(file.toFile().getName()));
file.toFile().renameTo(dest.toFile());
diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetRelationConstructs_MC.out b/src/test/resources/de/hhu/stups/codegenerator/SetRelationConstructs_MC.out
new file mode 100644
index 000000000..df50ea0f9
--- /dev/null
+++ b/src/test/resources/de/hhu/stups/codegenerator/SetRelationConstructs_MC.out
@@ -0,0 +1,3 @@
+MODEL CHECKING SUCCESSFUL
+Number of States: 1
+Number of Transitions: 1
\ No newline at end of file
--
GitLab