func TestNatAdd(t *testing.T) { tester = t test_msg = "NatAddA" nat_eq(0, add(nat_zero, nat_zero), nat_zero) nat_eq(1, add(nat_zero, c), c) test_msg = "NatAddB" for i := uint64(0); i < 100; i++ { t := Nat(i) nat_eq(uint(i), sum(i, c), t.Mul(t).Add(t).Shr(1).Mul(c)) } }