Example #1
0
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))
	}
}