Skip to content

Commit

Permalink
chore: remove feature-flag gate
Browse files Browse the repository at this point in the history
  • Loading branch information
george-cosma committed Sep 11, 2024
1 parent 752992c commit 4bde8b4
Show file tree
Hide file tree
Showing 2 changed files with 22 additions and 4 deletions.
24 changes: 21 additions & 3 deletions tests/specification/run.rs
Original file line number Diff line number Diff line change
Expand Up @@ -206,9 +206,27 @@ pub fn run_spec_test(filepath: &str) -> WastTestReport {
get_command(&contents, span),
));
}
wast::WastDirective::Wait { span: _, thread: _ } => todo!(),
wast::WastDirective::Invoke(_) => todo!(),
wast::WastDirective::Thread(_) => todo!(),
wast::WastDirective::Wait { span, thread: _ } => {
asserts.push_error(WastError::new(
Box::new(GenericError::new("Wait directive not yet implemented")),
span.linecol_in(&contents).0 as u32 + 1,
get_command(&contents, span),
));
}
wast::WastDirective::Invoke(invoke) => {
asserts.push_error(WastError::new(
Box::new(GenericError::new("Invoke directive not yet implemented")),
invoke.span.linecol_in(&contents).0 as u32 + 1,
get_command(&contents, invoke.span),
));
}
wast::WastDirective::Thread(thread) => {
asserts.push_error(WastError::new(
Box::new(GenericError::new("Thread directive not yet implemented")),
thread.span.linecol_in(&contents).0 as u32 + 1,
get_command(&contents, thread.span),
));
}
}
}

Expand Down
2 changes: 1 addition & 1 deletion tests/wasm_spec_testsuite.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
// The reason this file exists is only to expose the `specification` module to the outside world.
// More so, the reason it wasn't added to the `lib.rs` file is because we wanted to separate the
// regular tests from the spec tests.
#[cfg(feature = "spec-test")]
// #[cfg(feature = "spec-test")]
mod specification;

0 comments on commit 4bde8b4

Please sign in to comment.