@vshymanskyy, I tried to use it.... but run into some challenges:
On my Android device, which board do I pick? Espruino is not listed. So I picked 'Generic Board'.
The (top) module is found and loaded, but modules referenced by the (top) module cannot be resolved... (due to nature of how require() is executed - @Gordon, is that correct?). In addition to this, the module is very fatt for Espruino. With limited resources available, either platform specific JS modules have to be pre-built or a generator / extractor is in place that on require manages to deliver the elements as needed and composed as best suitable.
@Gordon, is there an option to do an upload to - like - null device so no connected Espruino is required to formally verify code?
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@vshymanskyy, I tried to use it.... but run into some challenges:
@Gordon, is there an option to do an upload to - like - null device so no connected Espruino is required to formally verify code?