This repository has been archived by the owner on Feb 20, 2024. It is now read-only.

Scoping for bindings in SyVOLT contract sets not finished #10

Open

levilucio opened this issue Aug 30, 2016 · 0 comments

Assignees

Labels

Collaborator

levilucio commented Aug 30, 2016

The scoping for the "equals to" bindings in the "elements bindings" in contract sets needs to be properly done for pre- and post-condition elements.

levilucio self-assigned this

levilucio added the enhancement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.