source-academy / js-slang / 1031

77%

push

travis-ci

Rules for Reducers (#210)

* specs for SUBST

* first attempt at complete Source 0 specs

* first attempt at complete Source 0 specs

* typos

* more typos

* rules for source_1

* return rules added

* eliminate environment; distinguish types

* merging

* Fix whitespace

* Add summary of symbols

* block complications removed

* Fix summary of symbols

525 of 581 branches covered (90.36%)

Branch coverage included in aggregate %.

1657 of 1767 relevant lines covered (93.77%)

388460.01 hits per line