kill Process.Child

Stream: lean4

[James Gallicchio]

hey, does anyone know if there's a way to kill a child process in core? :thinking: I don't see anything in the API, but the implementation in process.cpp does keep track of the PID, so do we think I can safely add a Child.kill function implemented via C kill()?

[Sebastian Ullrich]

Sounds reasonable, see also https://doc.rust-lang.org/src/std/process.rs.html#1859-1861