diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:02:03 (GMT) |
commit | 1fb6bcf30f954e426f2d3002d14887574fb941dd (patch) | |
tree | 08cff7f2b879c50efe79e3c04d255075522af862 /test/samples/apache/tie-breaker-06.xml | |
parent | 71c334bf4e35559496feac3f3cf00b72ceb88812 (diff) | |
download | uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.zip uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.gz uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.bz2 |
Major refactoring
- Moved tests
- Changes to promela datamodel
- Implemented Trie
Diffstat (limited to 'test/samples/apache/tie-breaker-06.xml')
-rw-r--r-- | test/samples/apache/tie-breaker-06.xml | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/test/samples/apache/tie-breaker-06.xml b/test/samples/apache/tie-breaker-06.xml deleted file mode 100644 index a7f26ff..0000000 --- a/test/samples/apache/tie-breaker-06.xml +++ /dev/null @@ -1,40 +0,0 @@ -<?xml version="1.0"?> -<!-- - * Licensed to the Apache Software Foundation (ASF) under one or more - * contributor license agreements. See the NOTICE file distributed with - * this work for additional information regarding copyright ownership. - * The ASF licenses this file to You under the Apache License, Version 2.0 - * (the "License"); you may not use this file except in compliance with - * the License. You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. ---> -<!-- A fictitious state machine used by test cases. - <send>s in the same executable content block --> -<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" initialstate="main"> - - <state id="main"> - - <onentry> - <event name="internal_event1"/> - <event name="internal_event2"/> - </onentry> - - <transition event="internal_event1"> - <log label="Expected" - expr="'Transition for first event (internal_event1) followed'"/> - </transition> - <transition event="internal_event2"> - <log label="Unexpected" - expr="'Transition for second event (internal_event2) followed'"/> - </transition> - - </state> - -</scxml> |