|
|
@@ -13,7 +13,6 @@
|
|
|
@test receiver.n_internal == 1
|
|
|
@test receiver.n_external == 0
|
|
|
@test receiver.n_confluent == 0
|
|
|
- @test length(receiver.inbox_log) == 0
|
|
|
end
|
|
|
|
|
|
@testset "External Transition Test" begin
|
|
|
@@ -36,14 +35,12 @@ end
|
|
|
@test sender.n_internal == 1
|
|
|
@test sender.n_external == 0
|
|
|
@test sender.n_confluent == 0
|
|
|
- @test length(sender.inbox_log) == 0
|
|
|
|
|
|
receiver = model[model.path_to_id["top.receiver"]]
|
|
|
|
|
|
@test receiver.n_internal == 0
|
|
|
@test receiver.n_external == 1
|
|
|
@test receiver.n_confluent == 0
|
|
|
- @test length(receiver.inbox_log) == 1
|
|
|
# Check that time advance was interrupted correctly (if your mock tracks this)
|
|
|
end
|
|
|
|
|
|
@@ -67,13 +64,11 @@ end
|
|
|
@test sender.n_internal == 1
|
|
|
@test sender.n_external == 0
|
|
|
@test sender.n_confluent == 0
|
|
|
- @test length(sender.inbox_log) == 0
|
|
|
|
|
|
receiver = model[model.path_to_id["top.receiver"]]
|
|
|
@test receiver.n_internal == 1
|
|
|
@test receiver.n_external == 1
|
|
|
@test receiver.n_confluent == 1
|
|
|
- @test length(receiver.inbox_log) == 1
|
|
|
end
|
|
|
|
|
|
@testset "Nearly Confluent Transition Test" begin
|
|
|
@@ -96,11 +91,9 @@ end
|
|
|
@test sender.n_internal == 1
|
|
|
@test sender.n_external == 0
|
|
|
@test sender.n_confluent == 0
|
|
|
- @test length(sender.inbox_log) == 0
|
|
|
|
|
|
receiver = model[model.path_to_id["top.receiver"]]
|
|
|
@test receiver.n_internal == 1
|
|
|
@test receiver.n_external == 1
|
|
|
@test receiver.n_confluent == 0
|
|
|
- @test length(receiver.inbox_log) == 1
|
|
|
end
|