Skip to content
This repository has been archived by the owner on Mar 12, 2020. It is now read-only.

Commit

Permalink
Adapt tests #28
Browse files Browse the repository at this point in the history
  • Loading branch information
tdauth committed Apr 10, 2019
1 parent d259c0e commit 2e631ee
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 7 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -8,10 +8,6 @@ class GuiStateMachineApiImplSpec extends AbstractApiSpec {
GuiStateMachineApi().createStateMachine("tmp")
val stateMachine = GuiStateMachineApi().getStateMachine("tmp")
stateMachine.isDefined shouldBe true
val fsm = stateMachine.get
fsm.getActionExecutionTimes.size shouldEqual 0
fsm.getAllExploredActions.size shouldEqual 0

GuiStateMachineApi().removeStateMachine("tmp") shouldBe true
GuiStateMachineApi().getStateMachine("tmp").isDefined shouldBe false
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -48,9 +48,6 @@ class GuiStateMachineJavaObjectStreamSerializerSpec extends AbstractApiSpec with
GuiStateMachineSerializer.javaObjectStream(guiStateMachine).load(filePath)

// Verify the loaded state machine:
guiStateMachine.getAllExploredActions.size shouldEqual 1
guiStateMachine.getActionExecutionTimes(action0Identifier) shouldEqual 1
guiStateMachine.getActionExecutionTimes.contains(action1Identifier) shouldEqual false
guiStateMachine.getAllStates.size shouldEqual 2
val loadedInitialState = guiStateMachine.getAllStates(initialSutStateIdentifier)
val loadedFinalState = guiStateMachine.getAllStates(finalSutStateIdentifier)
Expand Down

0 comments on commit 2e631ee

Please sign in to comment.