| commit | a60324f0529adc568c2183f6a3a49ae44db54af5 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Mon Jun 04 12:56:25 2018 +0200 |
| committer | Nico Huber <nico.h@gmx.de> | Mon May 06 16:12:34 2019 +0000 |
| tree | 781c7d6e38a57cb92f474365e6f6dfdf453051c7 | |
| parent | 637f2a4f21ead8ccc45d5256834eb27ce72088db [diff] |
Makefile.proof: Remove cvc4 from prover list Since we have z3, it was never of much use. Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42 Signed-off-by: Nico Huber <nico.huber@secunet.com> Reviewed-on: https://review.coreboot.org/c/libhwbase/+/26837 Tested-by: Nico Huber <nico.h@gmx.de> Reviewed-by: Reto Buerki <reet@codelabs.ch>