Feature/ignore selected oyente issues#715

Open

cryptomental wants to merge 3 commits intoAugurProject:masterfrom cryptomental:feature/ignore-selected-oyente-issues

+9-12

Commits on Jul 9, 2018

oyente/Dockerfile: Switch to ignore selected branch, verbose mode, build optimization.
cryptomental
committed
source/tools/runOyente: Ignore AssertionFailure and MoneyConcurrency.
cryptomental
committed

Commits on Jul 29, 2018

test/oyente/Dockerfile: Upgrade z3 to master branch.
cryptomental
committed