Skip to content

Conversation

@agarny
Copy link
Contributor

@agarny agarny commented Nov 5, 2025

Fixes #1337.

agarny added 30 commits October 17, 2024 13:04
Indeed, we want to be able to tell the generator to track/untrack some model variables. So, to have those `model()` and `setModel()` methods make the generator model-specific when we want it to be usable for any model, hence now the `interfaceCode()` and `implementationCode()` methods taking a model as a parameter.
Someone might have a version of llvm-cov and llvm-profdata that they use and which is not located in /Library/Developer/CommandLineTools/usr/bin. This means that they will need to provide LLVM_BIN_DIR which is not ideal, not least since there are PREFERRED_LLVM_COV_NAMES and PREFERRED_LLVM_PROFDATA_NAMES to play with, if needed.
…ble is not tracked per se.

This is for the VOI and states which are not tracked per se, but should be considered tracked.
@hsorby hsorby added the Analyser label Nov 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Analyser: account for an underconstrained NLA system

2 participants