()
| 974 | ri(RealInstruction::Addi(Addi::new(11, 0, 10))), // a1 = 10 |
| 975 | ri(RealInstruction::Addi(Addi::new(12, 0, 20))), // a2 = 20 |
| 976 | ri(RealInstruction::Add(Add::new(10, 11, 12))), // a0 = a1 + a2 = 30 |
| 977 | ri(RealInstruction::Addi(Addi::new(17, 0, 93))), // a7 = 93 |
| 978 | ri(RealInstruction::Ecall(Ecall::new())), |
| 979 | ]); |
| 980 | assert!( |
| 981 | matches!(outcome, StepOutcome::Halted(30)), |
| 982 | "expected Halted(30), got {outcome:?}" |
| 983 | ); |
| 984 | } |
| 985 |
nothing calls this directly
no test coverage detected