RubyGems Navigation menu

blood_contracts-instrumentation 0.1.1

Adds instrumentation to BloodContracts refinement types

Gemfile:
=

install:
=

Versions:

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

Runtime Dependencies (1):

Development Dependencies (5):

bundler ~> 2.0
pry >= 0
rake ~> 10.0
rspec ~> 3.0
rubocop ~> 0.49

Owners:

Pushed by:

Authors:

  • Sergey Dolganov (sclinede)

SHA 256 checksum:

=

Total downloads 12,974

For this version 10,703

Version Released:

License:

MIT

Required Ruby Version: >= 2.4

Links: