Merge pull request #1970 from demergent-labs/trap_property_tests

Trap property tests
demergent-labs · Aug 7, 2024 · 236be73 · 236be73
2 parents e8a2e20 + c203da4
commit 236be73
Show file tree

Hide file tree

Showing 17 changed files with 6,475 additions and 16 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -257,7 +257,8 @@ jobs:
                     "tests/end_to_end/http_server/tfjs",
                     "tests/end_to_end/http_server/web_assembly",
                     "tests/property/ic_api/caller",
-                    "tests/property/ic_api/id"
+                    "tests/property/ic_api/id",
+                    "tests/property/ic_api/trap"
                   ]
                   END
                   )

diff --git a/test/index.ts b/test/index.ts
@@ -1,9 +1,11 @@
 import * as dns from 'node:dns';
 dns.setDefaultResultOrder('ipv4first');
 
+import { ActorSubclass } from '@dfinity/agent';
 import { describe, expect, test } from '@jest/globals';
 import { join } from 'path';
 
+import { getCanisterId } from '../dfx';
 import { execSyncPretty } from '../src/compiler/utils/exec_sync_pretty';
 export { expect } from '@jest/globals';
 
@@ -115,3 +117,23 @@ function processEnvVars(): {
         shouldRunBenchmarks
     };
 }
+
+export const defaultPropTestParams = {
+    numRuns: Number(process.env.AZLE_PROPTEST_NUM_RUNS ?? 1),
+    endOnFailure: process.env.AZLE_PROPTEST_SHRINK === 'true' ? false : true
+};
+
+export async function getCanisterActor<T>(
+    canisterName: string
+): Promise<ActorSubclass<T>> {
+    const { createActor } = await import(
+        join(process.cwd(), 'test', 'dfx_generated', canisterName)
+    );
+    const actor = createActor(getCanisterId(canisterName), {
+        agentOptions: {
+            host: 'http://127.0.0.1:8000'
+        }
+    });
+
+    return actor;
+}
diff --git a/tests/property/ic_api/caller/jest.config.js b/tests/property/ic_api/caller/jest.config.js
@@ -2,6 +2,8 @@
 module.exports = {
     preset: 'ts-jest',
     testEnvironment: 'node',
+    bail: true,
+    testTimeout: 100_000_000,
     transform: {
         '^.+\\.ts$': ['ts-jest', { isolatedModules: true }],
         '^.+\\.js$': 'ts-jest'

diff --git a/tests/property/ic_api/caller/test/tests.ts b/tests/property/ic_api/caller/test/tests.ts
@@ -1,7 +1,7 @@
 import { Ed25519KeyIdentity } from '@dfinity/identity';
 import { Principal } from '@dfinity/principal';
 import { createAuthenticatedAgent, getCanisterId, whoami } from 'azle/dfx';
-import { expect, it, please, Test } from 'azle/test';
+import { defaultPropTestParams, expect, it, please, Test } from 'azle/test';
 import { execSync } from 'child_process';
 import fc from 'fast-check';
 
@@ -97,11 +97,9 @@ export function getTests(): Test {
                         );
                     }
                 ),
-                {
-                    numRuns: Number(process.env.AZLE_PROPTEST_NUM_RUNS ?? 1)
-                }
+                defaultPropTestParams
             );
-        }, 1_000_000);
+        });
 
         it('should return the caller principal for query and update', async () => {
             await fc.assert(
@@ -131,10 +129,8 @@ export function getTests(): Test {
                         );
                     }
                 ),
-                {
-                    numRuns: Number(process.env.AZLE_PROPTEST_NUM_RUNS ?? 1)
-                }
+                defaultPropTestParams
             );
-        }, 1_000_000);
+        });
     };
 }
diff --git a/tests/property/ic_api/id/jest.config.js b/tests/property/ic_api/id/jest.config.js
@@ -2,6 +2,8 @@
 module.exports = {
     preset: 'ts-jest',
     testEnvironment: 'node',
+    bail: true,
+    testTimeout: 100_000_000,
     transform: {
         '^.+\\.ts$': ['ts-jest', { isolatedModules: true }],
         '^.+\\.js$': 'ts-jest'

diff --git a/tests/property/ic_api/id/test/tests.ts b/tests/property/ic_api/id/test/tests.ts
@@ -1,5 +1,5 @@
 import { Principal } from '@dfinity/principal';
-import { expect, it, Test } from 'azle/test';
+import { defaultPropTestParams, expect, it, Test } from 'azle/test';
 import { execSync } from 'child_process';
 import fc from 'fast-check';
 
@@ -89,11 +89,8 @@ export function getTests(): Test {
                         );
                     }
                 ),
-                {
-                    numRuns: Number(process.env.AZLE_PROPTEST_NUM_RUNS ?? 1),
-                    endOnFailure: true
-                }
+                defaultPropTestParams
             );
-        }, 1_000_000);
+        });
     };
 }
diff --git a/tests/property/ic_api/trap/.gitignore b/tests/property/ic_api/trap/.gitignore
@@ -0,0 +1,4 @@
+.azle
+.dfx
+dfx_generated
+node_modules
diff --git a/tests/property/ic_api/trap/dfx.json b/tests/property/ic_api/trap/dfx.json
@@ -0,0 +1,13 @@
+{
+    "canisters": {
+        "canister": {
+            "type": "azle",
+            "main": "src/index.ts",
+            "candid_gen": "automatic",
+            "declarations": {
+                "output": "test/dfx_generated/canister",
+                "node_compatibility": true
+            }
+        }
+    }
+}
diff --git a/tests/property/ic_api/trap/jest.config.js b/tests/property/ic_api/trap/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
+};