Skip to content

Commit 1f00150

Browse files
committed
forgot to commit idk where this belongs it's all getting squashed and im tired
1 parent 89a6827 commit 1f00150

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/shims/native_lib.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -193,6 +193,9 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
193193

194194
// Call the function and store output, depending on return type in the function signature.
195195
let ret = this.call_native_with_args(link_name, dest, code_ptr, libffi_args)?;
196+
if let Some(events) = super::trace::Supervisor::get_events() {
197+
this.apply_events(events)?;
198+
}
196199
this.write_immediate(*ret, dest)?;
197200
interp_ok(true)
198201
}

0 commit comments

Comments
 (0)