Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

added a high-level test for LTL (PARSERLIB-11)

  • Loading branch information...
commit 361e74130ec76953c6c1faa6975527aa0239fcce 1 parent 0077104
@bendisposto authored
View
17 cliparser/src/test/java/de/prob/cliparser/LtlConsoleParserTest.java
@@ -9,15 +9,26 @@
public class LtlConsoleParserTest {
@Test(timeout=1000)
- public void testLtlCommandline_parserlib11() throws Exception {
- File temp = File.createTempFile("parserlib_11", ".ltl");
+ public void testLtlCommandline_parserlib11_ctl() throws Exception {
+ File temp = File.createTempFile("parserlib_11_ctl_", ".ltl");
BufferedWriter out = new BufferedWriter(new FileWriter(temp));
out.write("AG {taken={}");
out.close();
String absolutePath = temp.getAbsolutePath();
- System.out.println(absolutePath);
LtlConsoleParser
.main(new String[] { "-ctl", "-lang", "B", absolutePath });
}
+
+ @Test(timeout=1000)
+ public void testLtlCommandline_parserlib11_ltl() throws Exception {
+ File temp = File.createTempFile("parserlib_11_ltl", ".ltl");
+ BufferedWriter out = new BufferedWriter(new FileWriter(temp));
+ out.write("G {taken={}");
+ out.close();
+ String absolutePath = temp.getAbsolutePath();
+ LtlConsoleParser
+ .main(new String[] { "-ltl", "-lang", "B", absolutePath });
+ }
+
}
Please sign in to comment.
Something went wrong with that request. Please try again.