3uclid3 comments

Repositories
Issues
Comments

Results 4 comments of


                                            3uclid3

CMakeLists input string invalid

Actually, I was wrong. Even removing the line I still have the same error

Using clang-cl with ENABLE_COVERAGE lead to 'argument unused during compilation: '-O0''

I'm sorry, I wanted to open the issue on project_options and I guess I was on the wrong tab

Update CMakePresets.json

I still have this issue with the latest (v0.35.1) But this changes does not work with the new presets (default and developer)

VS Code tasks fail with error "Cannot read properties of undefined (reading 'shell')"

I'm using 'code workspace' with multiple project in it. (multiple taskfiles) I have more than 1 default build task. If I'm being ask by vscode to choose, it fails with...