assertion-checking

There are 3 repositories under assertion-checking topic.

mylesmegyesi/hamcrest.js
An extensible assertion library for JavaScript, based on Hamcrest
Language:TypeScript2 0 0
ravimad/Orb2015
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
Language:Scala2 2 82
Sibakumarpanda/SystemVerilog_Assertion_Coding_by_Siba
SystemVerilog Assertion Practice