From 52e39aa553d8b12567536d3e4c0347e2dee57677 Mon Sep 17 00:00:00 2001
From: mratsim <mamy.ratsimbazafy_dev@gadz.org>
Date: Tue, 20 Mar 2018 16:16:09 +0100
Subject: [PATCH] add output result

---
 src/uint_binary_ops.nim | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/src/uint_binary_ops.nim b/src/uint_binary_ops.nim
index 8b2caa9..91a07d0 100644
--- a/src/uint_binary_ops.nim
+++ b/src/uint_binary_ops.nim
@@ -30,3 +30,18 @@ when isMainModule:
   # In release: no corruption
   # Comment out the "naiveMul" in mul_impl: no corruption
   echo "Is memory corrupted: " & $(z != toMpUint(100'u32))
+
+# Output on my machine
+#
+# a: (lo: 10, hi: 0)
+# +: (lo: 20, hi: 0)
+# a+a: (lo: 20, hi: 0)
+# naiveMul cast16:(lo: 100, hi: 0)
+# naiveMul cast16:(lo: 0, hi: 0)
+# naiveMul cast16:(lo: 0, hi: 0)
+# +: (lo: 0, hi: 0)
+# Within `*` result: (lo: 100, hi: 0)
+# Within `*` result: MpUint[32]
+# a * a: (lo: 100, hi: 1066)
+# a * a type: MpUint[32]
+# Is memory corrupted: true