()
| 490 | #[test] |
| 491 | #[cfg(not(miri))] |
| 492 | fn enabling_debug_info_doesnt_break_anything() -> Result<()> { |
| 493 | let mut config = pulley_config(); |
| 494 | config.debug_info(true); |
| 495 | let engine = Engine::new(&config)?; |
| 496 | assert!(Module::from_file(&engine, "./tests/all/cli_tests/greeter_command.wat").is_err()); |
| 497 | Ok(()) |
| 498 | } |
| 499 | |
| 500 | // Ensure that Pulley doesn't require that the input image is aligned at any |
| 501 | // particular boundary, namely for now this double-checks that the `unaligned` |
nothing calls this directly
no test coverage detected