From 650fe88c7ea426ba2b47de80f57053d1faa8f933 Mon Sep 17 00:00:00 2001
From: Nikos Baxevanis <nikos.baxevanis@gmail.com>
Date: Sun, 5 Nov 2023 12:56:33 +0100
Subject: [PATCH] test: add property-based tests for romeo asset contract

- housekeeping

Keep TypeScript compiler happy.
---
 romeo/asset-contract/tests/asset_Commands.ts | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/romeo/asset-contract/tests/asset_Commands.ts b/romeo/asset-contract/tests/asset_Commands.ts
index abd2a118..9c575528 100644
--- a/romeo/asset-contract/tests/asset_Commands.ts
+++ b/romeo/asset-contract/tests/asset_Commands.ts
@@ -166,8 +166,8 @@ export function AssetCommands(accounts: Map<string, string>) {
       .record({
         sender: fc.constant(accounts.get("deployer")!),
         pubKey: fc.array(fc.integer({ min: 0, max: 255 })
-          .map(n => n.toString(16).padStart(2, '0')), { minLength: 32, maxLength: 32 })
-          .map(bytes => '0x' + bytes.join(''))
+          .map((n: number) => n.toString(16).padStart(2, '0')), { minLength: 32, maxLength: 32 })
+          .map((bytes: string[]) => '0x' + bytes.join(''))
           .map(hexStringToUint8Array),
       })
       .map((
@@ -187,8 +187,8 @@ export function AssetCommands(accounts: Map<string, string>) {
       .record({
         sender: fc.constantFrom(...accounts.values()).filter((a: string) => a !== accounts.get("deployer")!),
         pubKey: fc.array(fc.integer({ min: 0, max: 255 })
-          .map(n => n.toString(16).padStart(2, '0')), { minLength: 32, maxLength: 32 })
-          .map(bytes => '0x' + bytes.join(''))
+          .map((n: number) => n.toString(16).padStart(2, '0')), { minLength: 32, maxLength: 32 })
+          .map((bytes: string[]) => '0x' + bytes.join(''))
           .map(hexStringToUint8Array),
       })
       .map((