source-academy / js-slang / 2970

77%

push

travis-ci

Upgrade Source 3 Non-Det (#560)

* Add logical implication and bi-implication (#36)

This provides another way of establishing a relation
between two constraints.

Co-authored-by: anubh-v <anubhav@u.nus.edu>

* Use cartesian product for binary expressions (#35)

This change invokes the existing cartesian product
function instead of using loops, to achieve the same result.

* Add support for arrays

* convert cut to function

Co-authored-by: anubh-v <anubhav@u.nus.edu>
Co-authored-by: Anubhav <35621759+anubh-v@users.noreply.github.com>

1818 of 2485 branches covered (73.16%)

Branch coverage included in aggregate %.

5420 of 6282 relevant lines covered (86.28%)

161478.12 hits per line