diff --git a/test/validate/skeleton.st b/test/validate/skeleton.st new file mode 100644 index 0000000000000000000000000000000000000000..8e399e4f9d6a4285736a2e055378c2ea95462814 --- /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(); +}