source-academy / py-slang / 30144900029

86%

push

github

Bump @sourceacademy/conductor to 0.8.0 (#352)

PR source-academy/conductor#53 makes hostLoadPlugin/requestLoadPlugin
async (Promise<void> instead of void) and renames the RPC procedure
from the notification $requestLoadPlugin to the awaitable
requestLoadPlugin. 0.8.0 also bundles conductor#52's additive
beginPendingWork/endPendingWork on BasicEvaluator.

No py-slang code changes needed: the only hostLoadPlugin call site
(PyStepperEvaluator.ts) is already fire-and-forget in a constructor and
still compiles/behaves the same with the new Promise<void> return.

4405 of 5504 branches covered (80.03%)

Branch coverage included in aggregate %.

9544 of 10690 relevant lines covered (89.28%)

178377.02 hits per line