From aa3e88e54e3e98c24a020c95dac3aae4e6fb164a Mon Sep 17 00:00:00 2001
From: MITSUNARI Shigeo <herumi@nifty.com>
Date: Wed, 24 Mar 2021 10:36:14 +0900
Subject: [PATCH] [cs] check that default value is zero

---
 ffi/cs/test/test.cs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ffi/cs/test/test.cs b/ffi/cs/test/test.cs
index eb5318d..d3c023b 100644
--- a/ffi/cs/test/test.cs
+++ b/ffi/cs/test/test.cs
@@ -47,6 +47,7 @@ namespace mcl {
         {
             Console.WriteLine("TestFr");
             Fr x = new Fr();
+            assert("x.isZero", x.IsZero());
             x.Clear();
             assert("0", x.GetStr(10) == "0");
             assert("0.IzZero", x.IsZero());
@@ -92,6 +93,7 @@ namespace mcl {
         {
             Console.WriteLine("TestFp");
             Fp x = new Fp();
+            assert("x.isZero", x.IsZero());
             x.Clear();
             assert("0", x.GetStr(10) == "0");
             assert("0.IzZero", x.IsZero());
@@ -137,6 +139,7 @@ namespace mcl {
         {
             Console.WriteLine("TestG1");
             G1 P = new G1();
+            assert("P.isZero", P.IsZero());
             P.Clear();
             assert("P.IsValid", P.IsValid());
             assert("P.IsZero", P.IsZero());
@@ -185,6 +188,7 @@ namespace mcl {
         {
             Console.WriteLine("TestG2");
             G2 P = new G2();
+            assert("P.isZero", P.IsZero());
             P.Clear();
             assert("P is valid", P.IsValid());
             assert("P is zero", P.IsZero());