source-academy / py-slang / 24284794110

74%

Build Type

push

github

Committed by web-flow

Commit Message

Add SVML engine (#139)

* add svml interpreter

* add sinter backend

* fix Svml sinter run

* fix formatting

* fix review comments

* modify CI to --all

* fix lint

* remove newline

* fix coveralls type declaration search

* Tighten test suite

* style: format

* add tsconfig.test.json

* add parallel build for all

* refine test suite

* fix sinter

* appendum to sinter

* style:format

* full test suite, similar to stdlib.ts

* remove dead memoization machinery from SVML interpreter

isMemoized was always false and memoCache never populated.
Removes SVMLClosure.isMemoized/memoCache, CallFrame.memoArgs/memoClosure,
and all cache check/store logic in call/return paths.

Coverage Stats

1399 of 2343 branches covered (59.71%)

Branch coverage included in aggregate %.

1278 of 1550 new or added lines in 14 files covered. (82.45%)

4 existing lines in 4 files now uncovered.

4396 of 5986 relevant lines covered (73.44%)

5263.56 hits per line