[AugurProject/augur-core] Passing Tests w/ Oyente (#689)

I added more information at https://github.com/Z3Prover/z3/issues/1776#issuecomment-409128619 including instructions on how to run Augur’s Oyente run with gdb on a free Alpine linux based shell.

This setup allows virtually anyone with a web browser or an old PC with linux or Windows/Putty to quickly build and try out Augur test runs on a quite strong virtual shell instance. Feel free to add this as readme anywhere if looks useful @nuevoalex @tomkysar @joeykrug

Добавить комментарий