Skip to content

Commit

Permalink
Fix AspectsTest
Browse files Browse the repository at this point in the history
  • Loading branch information
fcoulon committed Oct 3, 2016
1 parent 19b7c8a commit 5c0922a
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 2 deletions.
Binary file not shown.
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<fsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:fsm="http://fsm/fsm/" initialState="//@ownedState.0" finalState="//@ownedState.2 //@ownedState.3">
<fsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:fsm="http://fr.inria.diverse.melange.tests.aspects.fsm/fsm/" initialState="//@ownedState.0" finalState="//@ownedState.2 //@ownedState.3">
<ownedState name="1">
<outgoingTransition target="//@ownedState.1" input="a" output="1"/>
<outgoingTransition target="//@ownedState.2" input="b" output="2"/>
Expand Down
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<timedfsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:timedfsm="http://timedfsm/fsm/" initialState="//@ownedState.0" finalState="//@ownedState.1">
<timedfsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:timedfsm="http://fr.inria.diverse.melange.tests.aspects.timedfsm/fsm/" initialState="//@ownedState.0" finalState="//@ownedState.1">
<ownedState name="1">
<outgoingTransition target="//@ownedState.1" input="a" output="1" time="3"/>
</ownedState>
Expand Down

0 comments on commit 5c0922a

Please sign in to comment.