add property tests for Ratio module

src/Tests/Ratio-test.ts

@@ -0,0 +1,51 @@
+import fc from "fast-check";
+import * as LbRatio from "../Lib/Ratio.js";
+import { describe, it } from "node:test";
+import * as TestUtils from "./TestUtils.js";
+
+export function fcRational(): fc.Arbitrary<LbRatio.Rational> {
+  return fc
+    .tuple(
+      fc.bigInt(),
+      fc.bigInt().filter((n) => n !== 0n),
+    )
+    .map(([numerator, denominator]) => {
+      return {
+        numerator,
+        denominator,
+      };
+    });
+}
+
+describe("Ratio tests", () => {
+  describe("Eq Rational tests", () => {
+    it(`eq is not neq property based tests`, () => {
+      fc.assert(
+        fc.property(fcRational(), fcRational(), (l, r) => {
+          TestUtils.negationTest(LbRatio.eqRational, l, r);
+        }),
+        { examples: [] },
+      );
+    });
+  });
+  describe("Json Rational tests", () => {
+    it(`toJson/fromJson property based tests`, () => {
+      fc.assert(
+        fc.property(fcRational(), (data) => {
+          TestUtils.toJsonFromJsonRoundTrip(LbRatio.jsonRational, data);
+        }),
+        { examples: [] },
+      );
+    });
+  });
+  describe("IsPlutusData AssocMap tests", () => {
+    it(`toData/fromData property based tests`, () => {
+      fc.assert(
+        fc.property(fcRational(), (data) => {
+          TestUtils.isPlutusDataRoundTrip(LbRatio.isPlutusDataRational, data);
+        }),
+        { examples: [] },
+      );
+    });
+  });
+});