Mohannad Alhanahnah

Here is my program ``` #include #include #include int main(int argc, char **argv) { int count_chars = 0, count_lines = 0; int total_chars = 0, total_lines = 0; for (int...

Stmt `if (argv[i][0] == '-')` corresponds to `%15` and `if (buffer)` corresponds to `%88`

Let's close this, Thanks a lot @MMory

@MMory I used `IFDSSolver` as we discussed and dumped the facts. Now, focusing on > Stmt if (argv[i][0] == '-') corresponds to %15 and if (buffer) corresponds to %88 Here...

Likewise, same problem ``` docker ps request returned Bad Gateway for API route and version http://%2FUsers%2Fmoh%2F.docker%2Frun%2Fdocker.sock/v1.24/containers/json, check if the server supports the requested API version ```

so what's the solution>

nasty solution, but worked for me 1- `brew uninstall --cask docker` 2- Manual removal like ``` rm -rf /usr/local/lib/docker rm /usr/local/etc/bash_completion.d/docker ``` 3- `brew install --cask docker`, it might fail...

@nilspalumbo @pchalasani the pytest has been running for almost 6 hrs, I think it should be cancelled

@nilspalumbo shouldn't docstring be added/updated to clarify the purpose of the mods involved `| Dict[str, str]`

Not sure if this is helpful, but here is a glance about langroid dependency on pydantic: It mainly relies on pydantic version `1.10.13`. Here are the multiple paths between "langroid"...