Nathan Whitaker

With #569 applied, the two `outlives_constraints` tests fail instead of running forever.

@xd009642 No worries! I did make some progress. The main issue is that (as you noticed) ptrace on macOS doesn't have the right capabilities so you have to work through...

One important note is that for any of it to work you have to run with `sudo` (i.e. `sudo cargo test`), as macOS requires elevated privileges for the useful mach...

@xd009642 Ah yeah sure, forgot about that. The following is what I've gathered from a few sources: the [`lldb` source code for macOS](https://github.com/llvm-mirror/lldb), [this ebook](https://flylib.com/books/en/3.126.1.108/1/) and [Apple's barebones explanations](https://developer.apple.com/library/archive/documentation/Darwin/Conceptual/KernelProgramming/Mach/Mach.html). The...

After debugging it I did find the crash was caused by a stack overflow in my library. The input which caused it wasn't saved and so it was pretty hard...

I've been looking into this recently. I currently have the full sysroot compiling and passing most of the tests. I've opened a PR for the first set of changes required...

I've added the initial implementation of this in 223f6e47b7b6d15bf8eb3cb8ea39fcec44c675e4. It works for basic cases, but I'll continue to work on adding more tests for preservation of information and structure.