#

assertion-checking

Here are 3 public repositories matching this topic...

ravimad / Orb2015

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

scala verification performance-analysis verification-methodologies leon perfomance-verification assertion-checking

Updated Nov 8, 2017
Scala

mylesmegyesi / hamcrest.js

An extensible assertion library for JavaScript, based on Hamcrest

typescript assertions assertion-functions assert assertion-library assertion assertion-matchers assertion-methods assertion-checking assertion-framework asserts

Updated Dec 18, 2018
TypeScript

Sibakumarpanda / SystemVerilog_Assertion_Coding_by_Siba

SystemVerilog Assertion Practice

verification assertions assertion-failure systemverilog uvm assertion-checking

Updated Jan 29, 2025

Improve this page

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

Curate this topic

Add this topic to your repo

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