2
61%
master: 61%

Ran 02 Dec 2019 12:06PM UTC

Files 45

Run time 4s

Badge

Embed ▾

Committed 02 Dec 2019 12:00PM UTC coverage: 75.166% (+0.03%) from 75.132%

Job # OCAML_VERSION=4.06.1

Build Type

push

travis-ci-com

Committed by

vaivaswatha

Commit Message

Contract constraints (#716)

* Tmp typechecking

* Typechecking of constraints

* This is what menhir says the entry should be

* Commit before merge

* stash

* Contract constraints implemented in scilla-runner

* Constraint tests

* Constraint replacing invalid state in wallet_2.scilla, plus updated tests

* Removed tests for invalid wallet, and changed invalid init tests to be failing tests

* Checkers updated to check constraints

* Add type info for constraints

* Use UsefulLiterals to build boolean constants

* Update src/lang/base/Recursion.ml

Co-Authored-By: Vaivaswatha N <vaivaswatha@users.noreply.github.com>

* Fixed gold files after merge

* Use BuiltIns.UsefulLiterals instead of constructing dummy ADT value manually

Coverage Stats

5421 of 7212 relevant lines covered (75.17%)

51476.71 hits per line

Zilliqa / scilla / 1796 / 2
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1796.2 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1796 / 2 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1796.2 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1796 / 2
61%
master: 61%

README BADGES
x