Peter Goodman

@agroce I fixed up the merge failure I think, can we merge this?

Did not try it. Should we prioritize the student work?

Because DeepState re-implements things like `printf`, and also implements stream-based logging, it seems reasonable to ignore the actual formatted output and add hooks directly into the logging implementation. This way,...

We should also check if radamsa has been updated. The version from grr is really old.

Alright. I think you should prioritize packaging for homebrew and aptitude, and possibly pip if it lets headers be installed, as macOS and Ubuntu are more important for us than...

My guess is that you can take a Linux ELF binary and run it on Manticore on macOS. The catch is that you likely also need ELFs for all dependent...

Well you could always compile on Linux, then `ldd` the executable and any other dependencies ([example](https://github.com/trailofbits/mcsema/blob/master/scripts/lift_program.py#L40)), and copy the exectuable and the discovered dependencies onto the macOS system, put them...

I'm of two minds on this. The reason why I like a Google Flags-like approach to command-line flags is that there is a nice one-to-one correspondence between the command line...

Ok I'm sold, but I'd consider this a lower priority task.

In the cast of discrepant runs, I think we may want to save them as `.flaky` files, or something like this. This is a good catch, as it could indicate...