assertion-checking

There are 0 repository under assertion-checking topic.

• mylesmegyesi / hamcrest.js

  An extensible assertion library for JavaScript, based on Hamcrest

  typescriptassertionsassertion-libraryassertion-frameworkassertion-matchersassertionassertassertsassertion-methodsassertion-functionsassertion-checking
  Language:TypeScript 2

• ravimad / Orb2015

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

  assertion-checkingleonperfomance-verificationperformance-analysisscalaverificationverification-methodologies
  Language:Scala 2