Merge pull request #34 from crocs-muni/feat/deterministic-prng

Support deterministic PRNG where possible.

1 files changed, 13 insertions, 0 deletions

diff --git a/reader/src/test/java/cz/crcs/ectester/reader/OutputTests.java b/reader/src/test/java/cz/crcs/ectester/reader/OutputTests.java
new file mode 100644
index 0000000..5300e98
--- /dev/null
+++ b/reader/src/test/java/cz/crcs/ectester/reader/OutputTests.java
@@ -0,0 +1,13 @@
+package cz.crcs.ectester.reader;
+
+import org.junit.jupiter.params.ParameterizedTest;
+import org.junit.jupiter.params.provider.ValueSource;
+
+public class OutputTests {
+
+    @ParameterizedTest
+    @ValueSource(strings = {"text", "xml", "yml"})
+    public void formats(String format) {
+        ECTesterReader.main(new String[]{"-t", "default", "-s", "-o", String.format("%s:out.%s", format, format),});
+    }
+}