test(overload): add randomized differential coverage

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

1 files changed, 21 insertions, 0 deletions

diff --git a/tests/ii/overload-methods/reference.cc b/tests/ii/overload-methods/reference.cc
new file mode 100644
index 0000000..1ef1829
--- /dev/null
+++ b/tests/ii/overload-methods/reference.cc
@@ -0,0 +1,21 @@
+#include <cstdint>
+#include <iostream>
+#include <string>
+
+int main() {
+    int count;
+    if (!(std::cin >> count)) return 1;
+    for (int row = 0; row < count; ++row) {
+        std::int64_t a, b, size;
+        std::string text;
+        if (!(std::cin >> a >> b >> size >> text)) return 1;
+        // Model the resulting values directly, without reproducing class dispatch.
+        const auto number = 2 * a + 3;
+        const auto length = text.size();
+        std::cout << 5 << ':' << number << ':' << length + 20 << ':' << a - b
+                  << ':' << 5 << ':' << 5 * size << ':' << number + 3 * b << ':'
+                  << (number > b / 8.0 ? "TRUE" : "FALSE") << ':' << text << "!:"
+                  << a - b << ':';
+        std::cout << length << ':' << a + 3 * b << ':' << length + 20 << '\n';
+    }
+}