test: add test case that uses performative in message definition

org-arl · Feb 1, 2024 · fe5470a · fe5470a
1 parent eee6eef
commit fe5470a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -55,14 +55,15 @@ try
 
  abstract type MyAbstractReq <: Message end
  @message "org.arl.fjage.test.MyAbstractReq" struct MyAbstractReq <: MyAbstractReq end
- @message "org.arl.fjage.test.MyReq" struct MyReq <: MyAbstractReq end
+ @message "org.arl.fjage.test.MyReq" Performative.AGREE struct MyReq <: MyAbstractReq end
 
  @testset "@message" begin
  @test MyAbstractReq <: Message
  @test MyReq <: Message
  @test MyReq <: MyAbstractReq
  @test isa(MyAbstractReq(), MyAbstractReq)
  @test isa(MyReq(), MyAbstractReq)
+ @test MyReq().performative == Performative.AGREE
  end
 
  @testset "send & receive (gw, blocking)" begin