From fe5470a34e07d61803f0183a3c793b40f9ae6e15 Mon Sep 17 00:00:00 2001
From: Mandar Chitre <mandar@nus.edu.sg>
Date: Thu, 1 Feb 2024 21:22:40 +0800
Subject: [PATCH] test: add test case that uses performative in message
 definition

---
 test/runtests.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/runtests.jl b/test/runtests.jl
index 49ac4de..189b552 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -55,7 +55,7 @@ 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
@@ -63,6 +63,7 @@ try
       @test MyReq <: MyAbstractReq
       @test isa(MyAbstractReq(), MyAbstractReq)
       @test isa(MyReq(), MyAbstractReq)
+      @test MyReq().performative == Performative.AGREE
     end
 
     @testset "send & receive (gw, blocking)" begin