contracts.ruby icon indicating copy to clipboard operation
contracts.ruby copied to clipboard
verified publisher icon egonSchiele

Factor out invariants to engine too

Open waterlink opened this issue 10 years ago • 0 comments

Currently core of contracts adds only 2 methods: :Contract and :__contracts_ruby. But invariants add more than just :Invariant. Those need to be moved to Engine too.

waterlink avatar Sep 02 '15 23:09 waterlink