Skip to content

Commit

Permalink
test: ci
Browse files Browse the repository at this point in the history
  • Loading branch information
peter-jerry-ye committed Mar 25, 2024
1 parent 11a071a commit 40ded1f
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions course2/lec2_script.md
Original file line number Diff line number Diff line change
Expand Up @@ -61,11 +61,11 @@ fn num_water_bottles(num_bottles: Int, num_exchange: Int) -> Int {
consume(num_bottles, 0)
}
// 程序入口
fn init {
// 程序测试
test {
// 命令
assert(num_water_bottles(9, 3) == 13)
assert(num_water_bottles(15, 4) == 19)
@assertion.assert_eq(num_water_bottles(9, 3), 13)?
@assertion.assert_eq(num_water_bottles(15, 4), 19)?
}
```

Expand Down

0 comments on commit 40ded1f

Please sign in to comment.