Update test names

fr33m0nk · Apr 19, 2024 · bf8212a · bf8212a
1 parent 0616101
commit bf8212a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/TestI_magma_semigroup_monoid.flix b/test/TestI_magma_semigroup_monoid.flix
@@ -7,7 +7,7 @@ use Semigroup.Semigroup
 /// e.g concat(Int32, Int32) -> Int32
 /// 
 @Test
-def isAdditionMagma() : Bool =
+def isNumSubstractionMagma() : Bool =
     Magma.concat(30, 20) == 10
 
 ///
@@ -17,5 +17,5 @@ def isAdditionMagma() : Bool =
 /// e.g concat(Int32, Int32) -> Int32
 /// 
 @Test
-def isAdditionSemigroup() : Bool =
+def isNumAdditionSemigroup() : Bool =
     Semigroup.concat(10, Semigroup.concat(30, 20)) == Semigroup.concat(20, Semigroup.concat(30, 10)) and Semigroup.concat(30, Semigroup.concat(20, 10)) == 60