pr fixes

demergent-labs · Oct 20, 2023 · 42e93ac · 42e93ac
1 parent 4573763
commit 42e93ac
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -131,6 +131,7 @@ jobs:
                     "examples/update",
                     "examples/vanilla_js",
                     "property_tests/tests/blob",
+                    "property_tests/tests/float32",
                     "property_tests/tests/int",
                     "property_tests/tests/int8",
                     "property_tests/tests/int16",

diff --git a/property_tests/arbitraries/candid/primitive/floats/float32_arb.ts b/property_tests/arbitraries/candid/primitive/floats/float32_arb.ts
@@ -0,0 +1,3 @@
+import fc from 'fast-check';
+
+export const Float32Arb = fc.float();
diff --git a/property_tests/tests/float32/src/.gitkeep b/property_tests/tests/float32/src/.gitkeep
diff --git a/property_tests/tests/float32/test/test.ts b/property_tests/tests/float32/test/test.ts
@@ -3,9 +3,10 @@ import { getCanisterId } from '../../../../test';
 import { createUniquePrimitiveArb } from '../../../arbitraries/unique_primitive_arb';
 import { JsFunctionNameArb } from '../../../arbitraries/js_function_name_arb';
 import { runPropTests } from '../../..';
+import { Float32Arb } from '../../../arbitraries/candid/primitive/floats/float32_arb';
 
-const Nat8TestArb = fc
-    .tuple(createUniquePrimitiveArb(JsFunctionNameArb), fc.array(fc.float()))
+const float32TestArb = fc
+    .tuple(createUniquePrimitiveArb(JsFunctionNameArb), fc.array(Float32Arb))
     .map(([functionName, float32s]) => {
         const paramCandidTypes = float32s.map(() => 'float32').join(', ');
         const returnCandidType = 'float32';
@@ -65,4 +66,4 @@ const Nat8TestArb = fc
         };
     });
 
-runPropTests(Nat8TestArb);
+runPropTests(float32TestArb);
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		import fc from 'fast-check';

		export const Float32Arb = fc.float();