Fix a bug in our model of the Wasm VM stack

This commit is contained in:
Brian Carroll 2021-11-10 23:02:39 +00:00
parent 86403b4a2f
commit 7f633c107f
4 changed files with 15 additions and 9 deletions

View file

@ -571,7 +571,7 @@ fn abs_min_int_overflow() {
}
#[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-dev"))]
#[cfg(any(feature = "gen-llvm", feature = "gen-dev", feature = "gen-wasm"))]
fn gen_if_fn() {
assert_evals_to!(
indoc!(