Property tests foundation

.github/workflows/test.yml

@@ -129,7 +129,24 @@ jobs:
                     "examples/timers",
                     "examples/tuple_types",
                     "examples/update",
-                    "examples/vanilla_js"
+                    "examples/vanilla_js",
+                    "property_tests/tests/blob",
+                    "property_tests/tests/bool",
+                    "property_tests/tests/float32",
+                    "property_tests/tests/float64",
+                    "property_tests/tests/int",
+                    "property_tests/tests/int8",
+                    "property_tests/tests/int16",
+                    "property_tests/tests/int32",
+                    "property_tests/tests/int64",
+                    "property_tests/tests/nat",
+                    "property_tests/tests/nat8",
+                    "property_tests/tests/nat16",
+                    "property_tests/tests/nat32",
+                    "property_tests/tests/nat64",
+                    "property_tests/tests/null",
+                    "property_tests/tests/text",
+                    "property_tests/tests/vec"
                   ]
                   END
                   )
@@ -201,7 +218,15 @@ jobs:
             - if: ${{ needs.release-candidate-deploy.outputs.should_run_tests }}
               shell: bash -l {0}
               working-directory: ${{ matrix.example_directories }}
-              run: npm test
+              run: AZLE_NUM_PROPTEST_RUNS=10 npm test
+            - if: ${{ needs.release-candidate-deploy.outputs.should_run_tests && contains(github.head_ref, 'release--') }}
+              shell: bash -l {0}
+              working-directory: ${{ matrix.example_directories }}
+              run: AZLE_NUM_PROPTEST_RUNS=100 npm test
+            - if: ${{ needs.release-candidate-deploy.outputs.should_run_tests && (github.ref == 'refs/heads/main' && contains(github.event.head_commit.message, 'Merge pull request') && contains(github.event.head_commit.message, 'demergent-labs/release--')) }}
+              shell: bash -l {0}
+              working-directory: ${{ matrix.example_directories }}
+              run: AZLE_NUM_PROPTEST_RUNS=100 npm test
 
     check-basic-integration-tests-success:
         needs: basic-integration-tests

examples/primitive_types/src/index.did

@@ -1,42 +1,42 @@
 service: () -> {
+    getBool: () -> (bool) query;
+    getEmpty: () -> (empty) query;
+    getFloat32: () -> (float32) query;
+    getFloat64: () -> (float64) query;
+    getInt: () -> (int) query;
+    getInt16: () -> (int16) query;
+    getInt32: () -> (int32) query;
+    getInt64: () -> (int64) query;
+    getInt8: () -> (int8) query;
+    getNat: () -> (nat) query;
+    getNat16: () -> (nat16) query;
+    getNat32: () -> (nat32) query;
+    getNat64: () -> (nat64) query;
+    getNat8: () -> (nat8) query;
+    getNull: () -> (null) query;
+    getNumber: () -> (float64) query;
+    getPrincipal: () -> (principal) query;
+    getReserved: () -> (reserved) query;
     getString: () -> (text) query;
-    printString: (text) -> (text) query;
     getText: () -> (text) query;
-    printText: (text) -> (text) query;
-    getNumber: () -> (float64) query;
-    printNumber: (float64) -> (float64) query;
-    getInt: () -> (int) query;
+    printBool: (bool) -> (bool) query;
+    printEmpty: (empty) -> (empty) query;
+    printFloat32: (float32) -> (float32) query;
+    printFloat64: (float64) -> (float64) query;
     printInt: (int) -> (int) query;
-    getInt64: () -> (int64) query;
-    printInt64: (int64) -> (int64) query;
-    getInt32: () -> (int32) query;
-    printInt32: (int32) -> (int32) query;
-    getInt16: () -> (int16) query;
     printInt16: (int16) -> (int16) query;
-    getInt8: () -> (int8) query;
+    printInt32: (int32) -> (int32) query;
+    printInt64: (int64) -> (int64) query;
     printInt8: (int8) -> (int8) query;
-    getNat: () -> (nat) query;
     printNat: (nat) -> (nat) query;
-    getNat64: () -> (nat64) query;
-    printNat64: (nat64) -> (nat64) query;
-    getNat32: () -> (nat32) query;
-    printNat32: (nat32) -> (nat32) query;
-    getNat16: () -> (nat16) query;
     printNat16: (nat16) -> (nat16) query;
-    getNat8: () -> (nat8) query;
+    printNat32: (nat32) -> (nat32) query;
+    printNat64: (nat64) -> (nat64) query;
     printNat8: (nat8) -> (nat8) query;
-    getFloat64: () -> (float64) query;
-    printFloat64: (float64) -> (float64) query;
-    getFloat32: () -> (float32) query;
-    printFloat32: (float32) -> (float32) query;
-    getBool: () -> (bool) query;
-    printBool: (bool) -> (bool) query;
-    getPrincipal: () -> (principal) query;
-    printPrincipal: (principal) -> (principal) query;
-    getNull: () -> (null) query;
     printNull: (null) -> (null) query;
-    getReserved: () -> (reserved) query;
+    printNumber: (float64) -> (float64) query;
+    printPrincipal: (principal) -> (principal) query;
     printReserved: (reserved) -> (reserved) query;
-    getEmpty: () -> (empty) query;
-    printEmpty: (empty) -> (empty) query;
+    printString: (text) -> (text) query;
+    printText: (text) -> (text) query;
 }

examples/primitive_types/test/tests.ts

@@ -20,9 +20,8 @@ export function getTests(
         {
             name: 'printString',
             test: async () => {
-                const result = await primitiveTypesCanister.printString(
-                    'string'
-                );
+                const result =
+                    await primitiveTypesCanister.printString('string');
 
                 return {
                     Ok: result === 'string'
@@ -62,9 +61,8 @@ export function getTests(
         {
             name: 'printNumber',
             test: async () => {
-                const result = await primitiveTypesCanister.printNumber(
-                    90071992547409.05
-                );
+                const result =
+                    await primitiveTypesCanister.printNumber(90071992547409.05);
 
                 return {
                     Ok: result.toString() === '90071992547409.05'
@@ -86,9 +84,10 @@ export function getTests(
         {
             name: 'printInt',
             test: async () => {
-                const result = await primitiveTypesCanister.printInt(
-                    170_141_183_460_469_231_731_687_303_715_884_105_727n
-                );
+                const result =
+                    await primitiveTypesCanister.printInt(
+                        170_141_183_460_469_231_731_687_303_715_884_105_727n
+                    );
 
                 return {
                     Ok:
@@ -110,9 +109,10 @@ export function getTests(
         {
             name: 'printInt64',
             test: async () => {
-                const result = await primitiveTypesCanister.printInt(
-                    9_223_372_036_854_775_807n
-                );
+                const result =
+                    await primitiveTypesCanister.printInt(
+                        9_223_372_036_854_775_807n
+                    );
 
                 return {
                     Ok: result === 9_223_372_036_854_775_807n
@@ -132,9 +132,8 @@ export function getTests(
         {
             name: 'printInt32',
             test: async () => {
-                const result = await primitiveTypesCanister.printInt32(
-                    2_147_483_647
-                );
+                const result =
+                    await primitiveTypesCanister.printInt32(2_147_483_647);
 
                 return {
                     Ok: result === 2_147_483_647
@@ -196,9 +195,10 @@ export function getTests(
         {
             name: 'printNat',
             test: async () => {
-                const result = await primitiveTypesCanister.printNat(
-                    340_282_366_920_938_463_463_374_607_431_768_211_455n
-                );
+                const result =
+                    await primitiveTypesCanister.printNat(
+                        340_282_366_920_938_463_463_374_607_431_768_211_455n
+                    );
 
                 return {
                     Ok:
@@ -220,9 +220,10 @@ export function getTests(
         {
             name: 'printNat64',
             test: async () => {
-                const result = await primitiveTypesCanister.printNat64(
-                    18_446_744_073_709_551_615n
-                );
+                const result =
+                    await primitiveTypesCanister.printNat64(
+                        18_446_744_073_709_551_615n
+                    );
 
                 return {
                     Ok: result === 18_446_744_073_709_551_615n
@@ -242,9 +243,8 @@ export function getTests(
         {
             name: 'printNat32',
             test: async () => {
-                const result = await primitiveTypesCanister.printNat32(
-                    4_294_967_295
-                );
+                const result =
+                    await primitiveTypesCanister.printNat32(4_294_967_295);
 
                 return {
                     Ok: result === 4_294_967_295
@@ -303,13 +303,50 @@ export function getTests(
         },
         {
             name: 'printFloat64',
+            test: async () => {
+                const result =
+                    await primitiveTypesCanister.printFloat64(
+                        2.718281828459045
+                    );
+
+                return {
+                    Ok: result.toString() === '2.718281828459045'
+                };
+            }
+        },
+        {
+            name: 'print Float64.Nan',
             test: async () => {
                 const result = await primitiveTypesCanister.printFloat64(
-                    2.718281828459045
+                    Number.NaN
                 );
 
                 return {
-                    Ok: result.toString() === '2.718281828459045'
+                    Ok: Number.isNaN(result)
+                };
+            }
+        },
+        {
+            name: 'print positive Float64.Infinity',
+            test: async () => {
+                const result = await primitiveTypesCanister.printFloat64(
+                    Number.POSITIVE_INFINITY
+                );
+
+                return {
+                    Ok: !Number.isFinite(result)
+                };
+            }
+        },
+        {
+            name: 'print negative Float64.Infinity',
+            test: async () => {
+                const result = await primitiveTypesCanister.printFloat64(
+                    Number.NEGATIVE_INFINITY
+                );
+
+                return {
+                    Ok: !Number.isFinite(result)
                 };
             }
         },
@@ -327,16 +364,51 @@ export function getTests(
         {
             name: 'printFloat32',
             test: async () => {
-                const result = await primitiveTypesCanister.printFloat32(
-                    3.1415927
-                );
+                const result =
+                    await primitiveTypesCanister.printFloat32(3.1415927);
 
                 return {
                     // Ok: result.toString() === '3.1415927' // TODO on the command line this is returned
                     Ok: result.toString() === '3.1415927410125732'
                 };
             }
         },
+        {
+            name: 'print Float32.Nan',
+            test: async () => {
+                const result = await primitiveTypesCanister.printFloat32(
+                    Number.NaN
+                );
+
+                return {
+                    Ok: Number.isNaN(result)
+                };
+            }
+        },
+        {
+            name: 'print positive Float32.Infinity',
+            test: async () => {
+                const result = await primitiveTypesCanister.printFloat32(
+                    Number.POSITIVE_INFINITY
+                );
+
+                return {
+                    Ok: !Number.isFinite(result)
+                };
+            }
+        },
+        {
+            name: 'print negative Float32.Infinity',
+            test: async () => {
+                const result = await primitiveTypesCanister.printFloat32(
+                    Number.NEGATIVE_INFINITY
+                );
+
+                return {
+                    Ok: !Number.isFinite(result)
+                };
+            }
+        },
         {
             name: 'getBool',
             test: async () => {

package.json

@@ -42,6 +42,7 @@
         "@types/fs-extra": "9.0.13",
         "eslint": "8.11.0",
         "eslint-config-prettier": "8.5.0",
+        "fast-check": "^3.13.1",
         "husky": "7.0.4",
         "lint-staged": "12.3.7",
         "prettier": "^3.0.3"