GeezerVison

Pinned Loading

1. cover-github-action cover-github-action Public

   GitHub Action for running Diffblue Cover from a GitHub Actions workflow

   TypeScript 31 4

2. cover-annotations cover-annotations Public

   Cover Annotations

   Java 6

3. demo-spring-petclinic demo-spring-petclinic Public

   Demo based on Spring Petclinic

   CSS 1 13

4. cbmc cbmc Public

   C Bounded Model Checker

   C++ 1.2k 321

5. hw-cbmc hw-cbmc Public

   The HW-CBMC and EBMC Model Checkers for Verilog

   C++ 119 29

6. java-cprover-api java-cprover-api Public

   Java library that exposes the CProver API of JBMC

   Java 1