From 85dce158094e95952d7870594b1d69969cdb2645 Mon Sep 17 00:00:00 2001 From: Ulf Hermann Date: Fri, 1 Apr 2016 11:36:04 +0200 Subject: Don't crash on invalid nested state machines If an tag doesn't contain a state machine, that's an error and should be found when verifying. Also, don't try to verify the nonexistent state machine. Change-Id: Ib371f3f34c9ab5c20f9492b326d1fee87f7b76d2 Reviewed-by: Erik Verbruggen --- .../id000013sig11src000001opflip1pos2914.scxml | 79 ++++++++++++++++++++ .../id000014sig11src000001opflip1pos2914.scxml | 79 ++++++++++++++++++++ .../id000015sig11src000001opflip1pos2926.scxml | Bin 0 -> 3411 bytes .../id000017sig11src000001opext_AOpos2931.scxml | 79 ++++++++++++++++++++ .../data/id000020sig11src000001ophavocrep8.scxml | 79 ++++++++++++++++++++ .../data/id000021sig11src000001ophavocrep8.scxml | 79 ++++++++++++++++++++ .../data/id000022sig11src000001ophavocrep4.scxml | Bin 0 -> 3396 bytes .../data/id000024sig11src000001ophavocrep16.scxml | 80 +++++++++++++++++++++ tests/auto/qscxmlc/tst_qscxmlc.qrc | 8 +++ 9 files changed, 483 insertions(+) create mode 100644 tests/auto/qscxmlc/data/id000013sig11src000001opflip1pos2914.scxml create mode 100644 tests/auto/qscxmlc/data/id000014sig11src000001opflip1pos2914.scxml create mode 100644 tests/auto/qscxmlc/data/id000015sig11src000001opflip1pos2926.scxml create mode 100644 tests/auto/qscxmlc/data/id000017sig11src000001opext_AOpos2931.scxml create mode 100644 tests/auto/qscxmlc/data/id000020sig11src000001ophavocrep8.scxml create mode 100644 tests/auto/qscxmlc/data/id000021sig11src000001ophavocrep8.scxml create mode 100644 tests/auto/qscxmlc/data/id000022sig11src000001ophavocrep4.scxml create mode 100644 tests/auto/qscxmlc/data/id000024sig11src000001ophavocrep16.scxml (limited to 'tests') diff --git a/tests/auto/qscxmlc/data/id000013sig11src000001opflip1pos2914.scxml b/tests/auto/qscxmlc/data/id000013sig11src000001opflip1pos2914.scxml new file mode 100644 index 0000000..5758c04 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000013sig11src000001opflip1pos2914.scxml @@ -0,0 +1,79 @@ + + + + + + + + + + +  + + + + + + + + + + + + + diff --git a/tests/auto/qscxmlc/data/id000014sig11src000001opflip1pos2914.scxml b/tests/auto/qscxmlc/data/id000014sig11src000001opflip1pos2914.scxml new file mode 100644 index 0000000..218474e --- /dev/null +++ b/tests/auto/qscxmlc/data/id000014sig11src000001opflip1pos2914.scxml @@ -0,0 +1,79 @@ + + + + + + + + + + +  + + + + + + + + + + + + + diff --git a/tests/auto/qscxmlc/data/id000015sig11src000001opflip1pos2926.scxml b/tests/auto/qscxmlc/data/id000015sig11src000001opflip1pos2926.scxml new file mode 100644 index 0000000..10e9130 Binary files /dev/null and b/tests/auto/qscxmlc/data/id000015sig11src000001opflip1pos2926.scxml differ diff --git a/tests/auto/qscxmlc/data/id000017sig11src000001opext_AOpos2931.scxml b/tests/auto/qscxmlc/data/id000017sig11src000001opext_AOpos2931.scxml new file mode 100644 index 0000000..5743c85 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000017sig11src000001opext_AOpos2931.scxml @@ -0,0 +1,79 @@ + + + + + + + + + + + + http://www.w3.org/2005/07/scxmlscxml name="anywhere" version="1.0"> + + + + + + + + + + + + diff --git a/tests/auto/qscxmlc/data/id000020sig11src000001ophavocrep8.scxml b/tests/auto/qscxmlc/data/id000020sig11src000001ophavocrep8.scxml new file mode 100644 index 0000000..961a71e --- /dev/null +++ b/tests/auto/qscxmlc/data/id000020sig11src000001ophavocrep8.scxml @@ -0,0 +1,79 @@ + + + + + + + + + + + + + + + +  + + + + + + + + diff --git a/tests/auto/qscxmlc/data/id000021sig11src000001ophavocrep8.scxml b/tests/auto/qscxmlc/data/id000021sig11src000001ophavocrep8.scxml new file mode 100644 index 0000000..8d7f017 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000021sig11src000001ophavocrep8.scxml @@ -0,0 +1,79 @@ + + + + + + + + + + + + + + + + + + + + * Redistr + + , + + diff --git a/tests/auto/qscxmlc/data/id000022sig11src000001ophavocrep4.scxml b/tests/auto/qscxmlc/data/id000022sig11src000001ophavocrep4.scxml new file mode 100644 index 0000000..039f22b Binary files /dev/null and b/tests/auto/qscxmlc/data/id000022sig11src000001ophavocrep4.scxml differ diff --git a/tests/auto/qscxmlc/data/id000024sig11src000001ophavocrep16.scxml b/tests/auto/qscxmlc/data/id000024sig11src000001ophavocrep16.scxml new file mode 100644 index 0000000..49eaa54 --- /dev/null +++ b/tests/auto/qscxmlc/data/id000024sig11src000001ophavocrep16.scxml @@ -0,0 +1,80 @@ + + + + + + + + + + + +  + + + + + + + + + + + + + diff --git a/tests/auto/qscxmlc/tst_qscxmlc.qrc b/tests/auto/qscxmlc/tst_qscxmlc.qrc index e27a7d7..92f80c4 100644 --- a/tests/auto/qscxmlc/tst_qscxmlc.qrc +++ b/tests/auto/qscxmlc/tst_qscxmlc.qrc @@ -11,8 +11,16 @@ data/id000009sig11src000000ophavocrep2.scxml data/id000010sig11src000000ophavocrep1.scxml data/id000012sig06src000001opflip1pos2538.scxml + data/id000013sig11src000001opflip1pos2914.scxml + data/id000014sig11src000001opflip1pos2914.scxml + data/id000015sig11src000001opflip1pos2926.scxml data/id000016sig06src000001opflip1pos2961.scxml + data/id000017sig11src000001opext_AOpos2931.scxml + data/id000020sig11src000001ophavocrep8.scxml + data/id000021sig11src000001ophavocrep8.scxml + data/id000022sig11src000001ophavocrep4.scxml data/id000023sig06src000001ophavocrep4.scxml + data/id000024sig11src000001ophavocrep16.scxml data/id000025sig06src000001ophavocrep8.scxml data/id000027sig11src000004opflip1pos2521.scxml data/id000028sig11src000004opflip1pos10502.scxml -- cgit v1.2.3