update test

docs/01-program-design.md

@@ -65,8 +65,8 @@ The process of writing test cases not only helps in validating the solution but
 
 ```moonbit
 test {
-  @test.eq(num_water_bottles(9, 3), 13)! // 9 + 3 + 1 = 13
-  @test.eq(num_water_bottles(15, 4), 19)!
+  @test.eq!(num_water_bottles(9, 3), 13) // 9 + 3 + 1 = 13
+  @test.eq!(num_water_bottles(15, 4), 19)
 }
 ```
 
@@ -91,12 +91,12 @@ fn num_water_bottles(num_bottles: Int, num_exchange: Int) -> Int {
 }
 
 test {
-  @test.eq(num_water_bottles(9, 3), 13)! // 9 + 3 + 1 = 13
-  @test.eq(num_water_bottles(15, 4), 19)!
+  @test.eq!(num_water_bottles(9, 3), 13) // 9 + 3 + 1 = 13
+  @test.eq!(num_water_bottles(15, 4), 19)
 }
 ```
 
-The program can be verified by executing it [here](https://try.moonbitlang.com/#f9b7f68d). If there is no output, it indicates that the program has performed as expected. Alternatively, if we modify the test cases and then rerun the program, an error might be observed.
+The program can be verified by executing it [here](https://try.moonbitlang.com/#79f7b666). If there is no output, it indicates that the program has performed as expected. Alternatively, if we modify the test cases and then rerun the program, an error might be observed.
 
 ### Summary
 

docs/02-development-environments-expressions.md

@@ -58,8 +58,8 @@ fn num_water_bottles(num_bottles: Int, num_exchange: Int) -> Int {
 // test block
 test {
   // statements
-  @test.eq(num_water_bottles(9, 3), 13)!
-  @test.eq(num_water_bottles(15, 4), 19)!
+  @test.eq!(num_water_bottles(9, 3), 13)
+  @test.eq!(num_water_bottles(15, 4), 19)
 }
 ```
 

docs/12-autodiff.md

@@ -108,11 +108,11 @@ fn example() -> Symbol {
 test "Symbolic differentiation" {
   let input : Array[Double] = [10.0, 100.0]
   let symbol : Symbol = example() // Abstract syntax tree of the function
-  @test.eq(symbol.compute(input), 600.0)!
+  @test.eq!(symbol.compute(input), 600.0)
   // Expression of df/dx
-  inspect(symbol.differentiate(0), 
-  content="Add(Add(Mul(Mul(Constant(5.0), Var(0)), Constant(1.0)), Mul(Add(Mul(Constant(5.0), Constant(1.0)), Mul(Constant(0.0), Var(0))), Var(0))), Constant(0.0))")!
-  @test.eq(symbol.differentiate(0).compute(input), 100.0)!
+  inspect!(symbol.differentiate(0), 
+  content="Add(Add(Mul(Mul(Constant(5.0), Var(0)), Constant(1.0)), Mul(Add(Mul(Constant(5.0), Constant(1.0)), Mul(Constant(0.0), Var(0))), Var(0))), Constant(0.0))")
+  @test.eq!(symbol.differentiate(0).compute(input), 100.0)
 }
 ```