Skip to content

Commit 85809f3

Browse files
committed
make wasmi oracle impl compile again
1 parent 83f1ef4 commit 85809f3

1 file changed

Lines changed: 10 additions & 10 deletions

File tree

crates/fuzzing/src/oracles/diff_wasmi.rs

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ impl WasmiEngine {
4040
}
4141
}
4242

43-
fn trap_code(&self, err: &Error) -> Option<wasmi::core::TrapCode> {
43+
fn trap_code(&self, err: &Error) -> Option<wasmi::TrapCode> {
4444
let err = err.downcast_ref::<wasmi::Error>()?;
4545
if let Some(code) = err.as_trap_code() {
4646
return Some(code);
@@ -49,12 +49,12 @@ impl WasmiEngine {
4949
match err.kind() {
5050
wasmi::errors::ErrorKind::Instantiation(
5151
wasmi::errors::InstantiationError::ElementSegmentDoesNotFit { .. },
52-
) => Some(wasmi::core::TrapCode::TableOutOfBounds),
52+
) => Some(wasmi::TrapCode::TableOutOfBounds),
5353
wasmi::errors::ErrorKind::Memory(wasmi::errors::MemoryError::OutOfBoundsAccess) => {
54-
Some(wasmi::core::TrapCode::MemoryOutOfBounds)
54+
Some(wasmi::TrapCode::MemoryOutOfBounds)
5555
}
5656
wasmi::errors::ErrorKind::Table(wasmi::errors::TableError::CopyOutOfBounds) => {
57-
Some(wasmi::core::TrapCode::TableOutOfBounds)
57+
Some(wasmi::TrapCode::TableOutOfBounds)
5858
}
5959
_ => {
6060
log::trace!("unknown wasmi error: {:?}", err.kind());
@@ -89,14 +89,14 @@ impl DiffEngine for WasmiEngine {
8989
fn is_non_deterministic_error(&self, err: &Error) -> bool {
9090
matches!(
9191
self.trap_code(err),
92-
Some(wasmi::core::TrapCode::StackOverflow)
92+
Some(wasmi::TrapCode::StackOverflow)
9393
)
9494
}
9595
}
9696

9797
/// Converts `wasmi` trap code to `wasmtime` trap code.
98-
fn wasmi_to_wasmtime_trap_code(trap: wasmi::core::TrapCode) -> Trap {
99-
use wasmi::core::TrapCode;
98+
fn wasmi_to_wasmtime_trap_code(trap: wasmi::TrapCode) -> Trap {
99+
use wasmi::TrapCode;
100100
match trap {
101101
TrapCode::UnreachableCodeReached => Trap::UnreachableCodeReached,
102102
TrapCode::MemoryOutOfBounds => Trap::MemoryOutOfBounds,
@@ -174,9 +174,9 @@ impl From<&DiffValue> for wasmi::Val {
174174
match *v {
175175
DiffValue::I32(n) => WasmiValue::I32(n),
176176
DiffValue::I64(n) => WasmiValue::I64(n),
177-
DiffValue::F32(n) => WasmiValue::F32(wasmi::core::F32::from_bits(n)),
178-
DiffValue::F64(n) => WasmiValue::F64(wasmi::core::F64::from_bits(n)),
179-
DiffValue::V128(n) => WasmiValue::V128(wasmi::core::V128::from(n)),
177+
DiffValue::F32(n) => WasmiValue::F32(wasmi::F32::from_bits(n)),
178+
DiffValue::F64(n) => WasmiValue::F64(wasmi::F64::from_bits(n)),
179+
DiffValue::V128(n) => WasmiValue::V128(wasmi::V128::from(n)),
180180
DiffValue::FuncRef { null } => {
181181
assert!(null);
182182
WasmiValue::default(wasmi::ValType::FuncRef)

0 commit comments

Comments
 (0)