738
61%

Ran 11 Jan 2019 01:05PM UTC

Jobs 1

Files 36

Run time 3s

Badge

Embed ▾

pending completion

Build # 738

Build Type

push

travis-ci-com

Committed by

vaivaswatha

Commit Message

User-defined ADTs, step 1 (#354)

* Parsing of custom ADTs

* Changed syntax of ADT constructor argument types

* Changed syntax of ADT constructor arguments

* Sanity check for ADTs

* scilla-checker to use ADTChecker. Not yet done

* Renaming and returning correct value from recursion check

* Renamings, and add custom ADTs to datatypes hashtable

* Typechecker updated, and added checks for multiple definitions of same ADT and constructor names

* Initial testing

* Improved error messages in recursion and typecheck

* Added handling of custom ADTs in Eval.ml

* Updated wallet to work as ADT test case

* Added tests of ADT declarations

* More ADT tests

* Negative tests of library ADTs

* Added location for ADT error messages

Run Details

2996 of 3796 relevant lines covered (78.93%)

10374.68 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	738.1	11 Jan 2019 01:05PM UTC	0	78.93	Travis Job 738.1

Source Files on build 738

Detailed source file information is not available for this build.

Zilliqa / scilla / 738
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 738

Zilliqa / scilla / 738 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 738

Zilliqa / scilla / 738
61%

README BADGES
x