assertion-checking

Here are 3 public repositories matching this topic...

YulTracer is a game-semantics-based bounded safety (assertion) checker for Yul written in OCaml and compiled using the Dune build system.

An extensible assertion library for JavaScript, based on Hamcrest

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

Add a description, image, and links to the assertion-checking topic page so that developers can more easily learn about it.

To associate your repository with the assertion-checking topic, visit your repo's landing page and select "manage topics."