Sulav Lal Shrestha issues

Repositories
Issues
Comments

Results 4 issues of


                                            Sulav Lal Shrestha

Index out of bounds error when running Prusti on Lighthouse

Lighthouse: [https://github.com/sigp/lighthouse](https://github.com/sigp/lighthouse) Prusti: Docker image with version (rustc 1.55.0-nightly (74ef0c3e4 2021-07-16)) Error message ``` thread 'rustc' panicked at 'index out of bounds: the len is 1 but the index is...

bug

error-reporting

BLE server is detected by nRF tool but not my custom android app.

zmq.socket is not a function

I installed zeromq in Raspberry Pi. And when I run the nodejs example for zeromq it gives error as: TypeError: zmq.socket is not a function.

Passing path for ncurses library during configure step

I do not have root access so I cannot install ncurses. However, I have built it and want to pass the path info of ncurses. How can I do that?