Merge pull request #2182 from demergent-labs/arg_data_raw_prop_test

Arg data raw prop test

package.json

@@ -11,7 +11,8 @@
     },
     "type": "module",
     "bin": {
-        "azle": "./src/build/index.ts"
+        "azle": "./src/build/index.ts",
+        "tsc": "./node_modules/.bin/tsc"
     },
     "main": "./src/lib/stable/index.ts",
     "repository": {
@@ -71,7 +72,8 @@
         "husky": "7.0.4",
         "jest": "^29.7.0",
         "lint-staged": "12.3.7",
-        "prettier": "^3.0.3"
+        "prettier": "^3.0.3",
+        "ts-jest": "^29.1.4"
     },
     "lint-staged": {
         "*.{js,ts}": "eslint --cache --fix",

test/index.ts

@@ -3,6 +3,7 @@ dns.setDefaultResultOrder('ipv4first');
 
 import { ActorSubclass, HttpAgent } from '@dfinity/agent';
 import { describe, expect, test } from '@jest/globals';
+import * as fc from 'fast-check';
 import { join } from 'path';
 
 import { getCanisterId } from '../dfx';
@@ -105,10 +106,21 @@ export function it(
 it.only = test.only;
 it.skip = test.skip;
 
-export const defaultPropTestParams = {
-    numRuns: Number(process.env.AZLE_PROPTEST_NUM_RUNS ?? 1),
-    endOnFailure: process.env.AZLE_PROPTEST_SHRINK === 'true' ? false : true
-};
+export function defaultPropTestParams<T = unknown>(): fc.Parameters<T> {
+    const baseParams = {
+        numRuns: Number(process.env.AZLE_PROPTEST_NUM_RUNS ?? 1),
+        endOnFailure: process.env.AZLE_PROPTEST_SHRINK === 'true' ? false : true
+    };
+
+    const seed =
+        process.env.AZLE_PROPTEST_SEED !== undefined
+            ? Number(process.env.AZLE_PROPTEST_SEED)
+            : undefined;
+
+    const path = process.env.AZLE_PROPTEST_PATH;
+
+    return seed !== undefined ? { ...baseParams, seed, path } : baseParams;
+}
 
 export async function getCanisterActor<T>(
     canisterName: string

test/property/index.ts

@@ -32,15 +32,15 @@ export async function runPropTests(
         ? Number(process.env.AZLE_PROPTEST_NUM_RUNS ?? 1)
         : 1;
 
-    const seed = process.env.AZLE_PROPTEST_SEED
-        ? Number(process.env.AZLE_PROPTEST_SEED)
-        : undefined;
+    const seed =
+        process.env.AZLE_PROPTEST_SEED !== undefined
+            ? Number(process.env.AZLE_PROPTEST_SEED)
+            : undefined;
 
     const path = process.env.AZLE_PROPTEST_PATH;
 
-    const executionParams = seed
-        ? { ...defaultParams, seed, path }
-        : defaultParams;
+    const executionParams =
+        seed !== undefined ? { ...defaultParams, seed, path } : defaultParams;
 
     try {
         for (let i = 0; i < numRuns; i++) {

tests/property/ic_api/arg_data_raw/.gitignore

@@ -0,0 +1,5 @@
+.azle
+.dfx
+dfx_generated
+node_modules
+src

tests/property/ic_api/arg_data_raw/dfx.json

@@ -0,0 +1,12 @@
+{
+    "canisters": {
+        "canister": {
+            "type": "azle",
+            "main": "src/index.ts",
+            "declarations": {
+                "output": "test/dfx_generated/canister",
+                "node_compatibility": true
+            }
+        }
+    }
+}

tests/property/ic_api/arg_data_raw/jest.config.js

@@ -0,0 +1,12 @@
+/** @type {import('ts-jest').JestConfigWithTsJest} */
+module.exports = {
+    preset: 'ts-jest',
+    testEnvironment: 'node',
+    bail: true,
+    testTimeout: 100_000_000,
+    transform: {
+        '^.+\\.ts$': ['ts-jest', { isolatedModules: true }],
+        '^.+\\.js$': 'ts-jest'
+    },
+    transformIgnorePatterns: ['/node_modules/(?!(azle)/)'] // Make sure azle is transformed
+};