Parquery / gocontracts

93%

master: 93%

LAST BUILD ON BRANCH TeodoroFilippini-removed-invariants-reference

branch: TeodoroFilippini-removed-invariants-reference

CHANGE BRANCH

x

Reset

• TeodoroFilippini-removed-invariants-reference
• master
• mristin/fixed-typos-in-travis.yml
• v1.0.1
• mristin/reformated-and-golinted-the-code
• mristin/fixed-unhandled-error-on-read-in-main
• mristin/made-in-place-write-atomic
• mristin/inlined-run-into-main
• mristin/made-flag-arguments-global-in-main
• mristin/added-precommit-script
• mristin/added-templates
• mristin/added-remove-flag
• mristin/bumped-a-version
• v1.1.0
• mristin/fixed-in-place-writing-not-effectuated
• v1.1.1
• mristin/updated-to-go-1.10-and-1.11
• mristin/update-to-go-1.11
• mristin/added-support-for-single-line-functions
• mristin/highlighted-in-readme-indention-of-contracts
• TeodoroFilippini-removed-duplicate-paragraph-in-readme
• mristin/code-is-unchanged-if-no-contracts-in-the-body-nor-in-the-description
• TeodoroFilippini-added-blank-lines-to-build-constraints-in-readme
• TeodoroFilippini-renamed-contracts-test-to-testing-in-readme
• TeodoroFilippini-changed-sign.of-boolean-intest-in-readme
• mristin/fixed-negation-of-a-disjunction
• mristin/bumped-to-1.1.2
• mristin/bumped-to-1.2.0
• mristin/fixed-precommit-to-travis-environment
• TeodoroFilippini-fixed.mistake-in-comment
• TeodoroFilippini-fixed-indentation-in-readme
• mristin/refactored-process.go-to-use-token-sections
• TeodoroFilippini-removed-formats-from-release
• mristin/added-contract-preamble
• TeodoroFilippini-fixed-typo-in-readme
• mristin/added-support-for-initialization-in-conditions
• mristin/bumped-to-1.3.0
• v1.3.0

Build # 170

Build Type

push

travis-ci-com

Committed by web-flow

Commit Message

removed reference to invariants

(don't forget to close the corresponding Issue)

Run Details

741 of 796 relevant lines covered (93.09%)

12.08 hits per line