1 files changed, 35 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/tester.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/tester.xtend
new file mode 100644
index 00000000..2bf0c4cc
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/tester.xtend
@@ -0,0 +1,35 @@
+package ca.mcgill.ecse.dslreasoner.vampire.icse
+
+import java.io.BufferedReader
+import java.io.FileInputStream
+import java.io.InputStream
+import java.io.InputStreamReader
+
+class tester {
+        def static void main(String[] args) {
+                val InputStream is = new FileInputStream("C://Users//Aren Babikian//git//VIATRA-Generator//Tests//ca.mcgill.ecse.dslreasoner.vampire.test//src//ca//mcgill//ecse//dslreasoner//vampire//icse//90-110Z3.txt");
+                val BufferedReader buf = new BufferedReader(new InputStreamReader(is));
+                var String line = buf.readLine();
+                val StringBuilder sb = new StringBuilder();
+                while (line != null) {
+                        sb.append(line);
+                        line = buf.readLine();
+                }
+                val String str = sb.toString();
+                
+                val satArray = str.split("Model")
+                
+                val satTimes = newArrayList
+                
+                for(sat : satArray.subList(1, satArray.length)) {
+                        satTimes.add(sat.substring(2, 8))
+                }
+                
+                for(t : satTimes) {
+                        println(t)
+                }
+                
+                
+
+        }
+}