From 7e6328548b64485f879c129faec291877fc0a8bb Mon Sep 17 00:00:00 2001 From: "benjamin.franksen" <benjamin.franksen@helmholtz-berlin.de> Date: Mon, 14 Oct 2013 11:22:13 +0000 Subject: [PATCH] test/validate: added skeleton.st --- test/validate/skeleton.st | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 test/validate/skeleton.st diff --git a/test/validate/skeleton.st b/test/validate/skeleton.st new file mode 100644 index 00000000..8e399e4f --- /dev/null +++ b/test/validate/skeleton.st @@ -0,0 +1,22 @@ +program xxxTest + +%%#include "../testSupport.h" + +entry { + seq_test_init(0); +} + +ss test { + state init { + when () { + } state done + } + state done { + when () { + } exit + } +} + +exit { + seq_test_done(); +} -- GitLab