`@isl-lang/contract-testing`

Contract testing framework for ISL specifications

Ecosystem
npmjs.org

Latest Release
0.1.1
about 2 months ago

Versions
1

Downloads
50 last month

No dependent packages found.

Check this option to include packages that no longer depend on this package in their latest version but previously did.

PURL	`pkg:npm/%40isl-lang/contract-testing` spec
License	MIT
Namespace	isl-lang
First Release	about 2 months ago
Last Synced	26 days ago

Keywords
isl contract testing property-based verification

ecosyste.ms