Parquery / gocontracts

A tool for design-by-contract in Go
MIT License
111 stars 7 forks source link

Changed sign of boolean InTest in example #39

Closed TeodoroFilippini closed 5 years ago

TeodoroFilippini commented 5 years ago

If we want a condition C to be evaluated only when InTest=true, we ought to write: !InTest || C

So that in production, the condition above is true as a consequence of InTest=false, with no need to check what follows.

coveralls commented 5 years ago

Pull Request Test Coverage Report for Build 101


Totals Coverage Status
Change from base Build 95: 0.0%
Covered Lines: 400
Relevant Lines: 446

💛 - Coveralls