feat: add EM planner contracts

2026-08-03 22:14:37 +08:00
parent 882f80bca0
commit e12eb31205
16 changed files with 477 additions and 0 deletions
@@ -0,0 +1,18 @@
+using System;
+
+namespace EMPlannerVerificationHost;
+
+internal static class Verification
+{
+    public static void Equal<T>(T expected, T actual, string name)
+    {
+        if (!Equals(expected, actual))
+            throw new InvalidOperationException(name + " expected " + expected + " but was " + actual + ".");
+    }
+
+    public static void NearlyEqual(double expected, double actual, string name)
+    {
+        if (Math.Abs(expected - actual) > 1e-12d)
+            throw new InvalidOperationException(name + " expected " + expected + " but was " + actual + ".");
+    }
+}