From 6d997a6566eb14111ebe7ebc81a1b9371eff8db3 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Thu, 16 Feb 2023 13:49:16 -0800
Subject: [PATCH] more tests

---
 evm/src/cpu/kernel/tests/bignum.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/evm/src/cpu/kernel/tests/bignum.rs b/evm/src/cpu/kernel/tests/bignum.rs
index cdb71f22..ff92ac50 100644
--- a/evm/src/cpu/kernel/tests/bignum.rs
+++ b/evm/src/cpu/kernel/tests/bignum.rs
@@ -340,6 +340,7 @@ fn test_ge_bignum_all() -> Result<()> {
     test_ge_bignum(&prepare_two_bignums_random)?;
     test_ge_bignum(&prepare_two_bignums_max)?;
     test_ge_bignum(&prepare_two_bignums_min)?;
+    test_ge_bignum(&prepare_two_bignums_diff)?;
 
     Ok(())
 }
@@ -349,6 +350,7 @@ fn test_add_bignum_all() -> Result<()> {
     test_add_bignum(&prepare_two_bignums_random)?;
     test_add_bignum(&prepare_two_bignums_max)?;
     test_add_bignum(&prepare_two_bignums_min)?;
+    test_add_bignum(&prepare_two_bignums_diff)?;
 
     Ok(())
 }
@@ -358,6 +360,7 @@ fn test_addmul_bignum_all() -> Result<()> {
     test_addmul_bignum(&prepare_two_bignums_random)?;
     test_addmul_bignum(&prepare_two_bignums_max)?;
     test_addmul_bignum(&prepare_two_bignums_min)?;
+    test_addmul_bignum(&prepare_two_bignums_diff)?;
 
     Ok(())
 }
@@ -367,6 +370,7 @@ fn test_mul_bignum_all() -> Result<()> {
     test_mul_bignum(&prepare_two_bignums_random)?;
     test_mul_bignum(&prepare_two_bignums_max)?;
     test_mul_bignum(&prepare_two_bignums_min)?;
+    test_mul_bignum(&prepare_two_bignums_diff)?;
 
     Ok(())
 }