Skip to content

Commit

Permalink
tests: fix test comment
Browse files Browse the repository at this point in the history
  • Loading branch information
enitrat committed Aug 17, 2023
1 parent 00ccc3c commit 1f6b851
Showing 1 changed file with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -421,7 +421,7 @@ fn test_exec_signextend_no_effect() {
fn test_exec_signextend_on_negative() {
// Given
let mut ctx = setup_execution_context();
ctx.stack.push(0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0000);
ctx.stack.push(0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0001);
ctx.stack.push(0x01); // s = 15, v = 0

// When
Expand All @@ -430,7 +430,7 @@ fn test_exec_signextend_on_negative() {
// Then
assert(ctx.stack.len() == 1, 'stack should have one element');
assert(
ctx.stack.peek().unwrap() == 0x00, 'stack top should be 0'
); // The 241-th bit of x is 0, so the output is not changed.
ctx.stack.peek().unwrap() == 0x01, 'stack top should be 0'
); // The 241-th bit of x is 0, so all bits before t are switched to 0
}

0 comments on commit 1f6b851

Please sign in to comment.