blood_contracts-instrumentation 0.1.1

Adds instrumentation to BloodContracts refinement types

Gemfile:
=

install:
=

Versions:

0.1.1 July 25, 2019 (16.5 KB)
0.1.0 July 11, 2019 (15 KB)

Runtime Dependencies (1):

blood_contracts-core ~> 0.4

Development Dependencies (5):

bundler ~> 2.0

pry >= 0

rake ~> 10.0

rspec ~> 3.0

rubocop ~> 0.49

Show all transitive dependencies

Owners:

Pushed by:

Authors:

Sergey Dolganov (sclinede)

SHA 256 checksum:

=