1796
61%

Ran 02 Dec 2019 12:06PM UTC

Jobs 2

Files 45

Run time 17s

Badge

Embed ▾

pending completion

Build # 1796

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

Run Details

5421 of 7212 relevant lines covered (75.17%)

102953.42 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1796.1 (OCAML_VERSION=4.07.1)	02 Dec 2019 12:06PM UTC	0	75.17	Travis Job 1796.1
2	1796.2 (OCAML_VERSION=4.06.1)	02 Dec 2019 12:06PM UTC	0	75.17	Travis Job 1796.2

Source Files on build 1796

Detailed source file information is not available for this build.

Zilliqa / scilla / 1796
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1796

Zilliqa / scilla / 1796 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1796

Zilliqa / scilla / 1796
61%

README BADGES
x