Marek Kaput

> Core question is, how often is fuzzing used without any strategy? I don't know how much this is in Protostar, but these are well known facts: 1. In v0.3,...

Yeah I do agree that using parameters without telling Protostar what to do with them should lead to an error. I think this might be a good resolution of the...

wasn't this fixed? @Arcticae

@karol-bisztyga is starting work to integrate Cairo-rs in Protostar 🎉

We will investigate integrating https://github.com/starknet-edu/cairo-coverage into Protostar

> The scarb team is working on an ability for semantic analysis base diagnostics of cairo code. What we’re working on will in no way be as powerful as it...

I am aware of the fact that CairoLS is invoking Scarb too much, and resolving that problem should fix this particular issue. As for multiple workspaces support, this is a...

The error message suggests that CairoLS run via VSCode Remote Server cannot find `git` executable, while apparently `scarb` ran from the CLI can. I have no idea how this could...

Thanks for the info. I need to reproduce this locally to be able to determine what could be wrong from now on. Unfortunately, I have no spare time to do...

~~Discuss this with StarkWare before starting working on it~~