commit | 1404fbbee41319e727915e745f09a05ef6f313f4 | [log] [tgz] |
---|---|---|
author | Nico Huber <nico.h@gmx.de> | Mon Jul 17 21:44:21 2017 |
committer | Nico Huber <nico.h@gmx.de> | Tue Aug 29 09:46:36 2017 |
tree | 7ce7a2f1fcb0165845c4ed2b68ca5bd54bb1c838 | |
parent | e05bf875c1e62f7ab044f6eee295183581175477 [diff] |
Makefile.proof: Reorder theorem provers Prefer Z3 over CVC4, the latter seems to not do anything for the current code and just wastes CPU cycles. Change-Id: Ia5e1341e881c5f887452486a318e8e72513f28fb Signed-off-by: Nico Huber <nico.h@gmx.de> Reviewed-on: https://review.coreboot.org/20627 Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Reviewed-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>