File tree 2 files changed +3
-3
lines changed
2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -16,8 +16,8 @@ import Data.Petrinet.Representation.NLL (ErrNetEncoding(..))
16
16
17
17
import Test.Statebox.Core as Core
18
18
import Test.Statebox.Core.Execution as Execution
19
+ import Test.Statebox.Core.Marking as Marking
19
20
import Test.Statebox.Core.Transaction.Codec as Transaction.Codec
20
- import Test.Statebox.Core.Transition as Transition
21
21
import Test.Statebox.Core.WiringTree as WiringTree
22
22
23
23
main :: Effect (Fiber Unit )
@@ -31,6 +31,6 @@ main = launchAff $ runSpec [consoleReporter] do
31
31
32
32
Core .suite
33
33
Execution .suite
34
- Transition .suite
34
+ Marking .suite
35
35
Transaction.Codec .suite
36
36
WiringTree .suite
Original file line number Diff line number Diff line change 1
- module Test.Statebox.Core.Transition where
1
+ module Test.Statebox.Core.Marking where
2
2
3
3
import Prelude
4
4
import Test.Spec (Spec , describe , it )
You can’t perform that action at this time.
0 commit comments