diff options
Diffstat (limited to 'test/src/test-promela-parser.cpp')
-rw-r--r-- | test/src/test-promela-parser.cpp | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/test/src/test-promela-parser.cpp b/test/src/test-promela-parser.cpp index f0a019e..c294e6f 100644 --- a/test/src/test-promela-parser.cpp +++ b/test/src/test-promela-parser.cpp @@ -63,6 +63,7 @@ void testInlinePromela() { } +#if 0 { Interpreter interpreter = Interpreter::fromURL("/Users/sradomski/Documents/TK/Code/uscxml/test/uscxml/promela/test-event-source-auto.scxml"); assert(interpreter); @@ -71,7 +72,7 @@ void testInlinePromela() { assert(inls.getAllOfType(PromelaInline::PROMELA_EVENT_ONLY).size() == 2); assert(inls.getAllOfType(PromelaInline::PROMELA_EVENT_ALL_BUT).size() == 1); } - +#endif #if 0 { std::string test = "\ @@ -309,6 +310,13 @@ void testPromelaParser() { } #endif + { + try { + PromelaParser ast("\"foo"); + assert(false); + } catch(...) { + } + } } int main(int argc, char** argv) { @@ -320,4 +328,4 @@ int main(int argc, char** argv) { testInlinePromela(); testPromelaParser(); -}
\ No newline at end of file +} |