1
30%
master: 30%

Ran 31 Jul 2019 10:48AM UTC

Files 164

Run time 2min

Badge

Committed 31 Jul 2019 10:44AM UTC coverage: 35.077% (+0.05%) from 35.027%

Build Type

push

travis-ci

Committed by

Commit Message

Add feature to allow manipulation of max execution time in frontend (#787)

* Bump js-slang

* Add changeExecTime feature

* Fix failing test

Coverage Stats

425 of 1914 branches covered (22.2%)

Branch coverage included in aggregate %.

2184 of 5524 relevant lines covered (39.54%)

3.02 hits per line