[rooch-networkgh-1117] edit script to include move-stdlib test in -m …

…and fix bugs.

frameworks/move-stdlib/Move.toml

@@ -4,6 +4,3 @@ version = "1.5.0"
 
 [addresses]
 std = "0x1"
-
-[dev-addresses]
-std = "0x1"

frameworks/move-stdlib/tests/u8_tests.move

@@ -0,0 +1,113 @@
+// Copyright (c) RoochNetwork
+// SPDX-License-Identifier: Apache-2.0
+
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+#[test_only]
+module std::u8_tests {
+    use std::u8;
+
+    const MAX_ERROR: u64 = 0;
+    const MIN_ERROR: u64 = 1;
+    const DIFF_ERROR: u64 = 2;
+    const DIVIDE_AND_ROUND_UP_ERROR: u64 = 3;
+    const MULTIPLE_AND_DIVIDE_ERROR: u64 = 4;
+    const POW_ERROR: u64 = 5;
+    const SQRT_ERROR: u64 = 6;
+
+    #[test]
+    fun test_max() {
+        assert!(u8::max(1, 255) == 255, MAX_ERROR);
+        assert!(u8::max(255, 1) == 255, MAX_ERROR);
+        assert!(u8::max(0, 0) == 0, MAX_ERROR);
+    }
+
+    #[test]
+    fun test_min() {
+        assert!(u8::min(1, 255) == 1, MIN_ERROR);
+        assert!(u8::min(255, 1) == 1, MIN_ERROR);
+        assert!(u8::min(0, 0) == 0, MIN_ERROR);
+    }
+
+    #[test]
+    fun test_diff() {
+        assert!(u8::diff(1, 255) == 254, DIFF_ERROR);
+        assert!(u8::diff(255, 1) == 254, DIFF_ERROR);
+        assert!(u8::diff(0, 0) == 0, DIFF_ERROR);
+    }
+
+    #[test]
+    fun test_divide_and_round_up() {
+        assert!(u8::divide_and_round_up(6, 2) == 3, DIVIDE_AND_ROUND_UP_ERROR);
+        assert!(u8::divide_and_round_up(7, 2) == 4, DIVIDE_AND_ROUND_UP_ERROR);
+    }
+
+    #[test, expected_failure(arithmetic_error, location = std::u8)]
+    fun test_divide_and_round_up_error() {
+        u8::divide_and_round_up(1, 0);
+    }
+
+    #[test]
+    fun test_multiple_and_divide() {
+        assert!(u8::multiple_and_divide(6, 2, 2) == 6, MULTIPLE_AND_DIVIDE_ERROR); // y == z
+        assert!(u8::multiple_and_divide(7, 2, 7) == 2, MULTIPLE_AND_DIVIDE_ERROR); // x == z
+        assert!(u8::multiple_and_divide(10, 3, 5) == 6, MULTIPLE_AND_DIVIDE_ERROR);
+    }
+
+    #[test, expected_failure(arithmetic_error, location = std::u8)]
+    fun test_multiple_and_divide_error() {
+        u8::multiple_and_divide(1, 1, 0);
+    }
+
+    #[test]
+    fun test_pow() {
+        assert!(u8::pow(1, 0) == 1, POW_ERROR);
+        assert!(u8::pow(3, 1) == 3, POW_ERROR);
+        assert!(u8::pow(2, 7) == 128, POW_ERROR);
+    }
+
+    #[test]
+    #[expected_failure]
+    fun test_pow_overflow() {
+        u8::pow(10, 100);
+    }
+
+    // TODO: fix arithmetic error given by i * i
+    // #[test]
+    // fun test_perfect_sqrt() {
+    //     let i = 0;
+    //     while (i < 100) {
+    //         assert!(u8::sqrt(i * i) == i, SQRT_ERROR);
+    //         i = i + 1;
+    //     };
+    //     let i = 0xFFu8;
+    //     while (i < 0xFFu8 + 1) {
+    //         assert!(u8::sqrt(i * i) == i, SQRT_ERROR);
+    //         i = i + 1;
+    //     }
+    // }
+
+    #[test]
+    // This function tests whether the (square root)^2 equals the
+    // initial value OR whether it is equal to the nearest lower
+    // number that does.
+    fun test_imperfect_sqrt() {
+        let i = 1;
+        let prev = 1;
+        while (i <= 100) {
+            let root = u8::sqrt(i);
+
+            assert!(i == root * root || root == prev, SQRT_ERROR);
+
+            prev = root;
+            i = i + 1;
+        };
+    }
+
+    #[test]
+    fun test_sqrt_big_numbers() {
+        let u8_max = 255;
+        assert!(15 == u8::sqrt(u8_max), SQRT_ERROR);
+    }
+}

scripts/pr.sh

@@ -83,6 +83,7 @@ EOF
 done
 
 MOVE_TEST_CRATES="\
+  frameworks/move-stdlib\
   frameworks/moveos-stdlib\
   frameworks/rooch-framework\
   frameworks/bitcoin-move\