Change in ...libhwbase[master]: Makefile.proof: Remove cvc4 from prover list - coreboot-gerrit

29 Apr 2019


      Reto Buerki has posted comments on this change. ( https://review.coreboot.org/c/libhwbase/+/26837 )
Change subject: Makefile.proof: Remove cvc4 from prover list
......................................................................
Patch Set 1: Code-Review+2
-- 
To view, visit https://review.coreboot.org/c/libhwbase/+/26837
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: libhwbase
Gerrit-Branch: master
Gerrit-Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42
Gerrit-Change-Number: 26837
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Adrian-Ken Rueegsegger ken@codelabs.ch
Gerrit-Reviewer: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Paul Menzel paulepanter@users.sourceforge.net
Gerrit-Reviewer: Reto Buerki reet@codelabs.ch
Gerrit-Comment-Date: Mon, 29 Apr 2019 07:40:24 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment