search

freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Apache License 2.0
10 stars 0 forks source link

Type hint support #93

Closed Kukovec closed 3 weeks ago

Kukovec commented 3 weeks ago

closes #92

Extends fetch with a --typemap flag, with which users may submit type hints (described in more detail in fetch.ts), which are used in instrument to distinguish vectors from enums, when v.every((elem) => typeof elem === typeof v[0] is an insufficient filter condition.

Note that all changes to the .json files are semantically trivial (a new field with type hits is added)

thpani commented 3 weeks ago

Ah also, afaict there's no tests?

The type hints in the e2e are empty.