diff options
| author | David Hewitt <mail@davidhewitt.dev> | 2024-06-13 06:23:49 +0100 |
|---|---|---|
| committer | David Hewitt <mail@davidhewitt.dev> | 2024-06-13 06:32:05 +0100 |
| commit | a29d99de3b7247930d8517dd27243ce4e15e0014 (patch) | |
| tree | e5f8be86336c8f625d56eb36b4d4ca85e033e841 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 51ea7e831881446d513e6738fc15a49630ac4a72 (diff) | |
| download | rust-a29d99de3b7247930d8517dd27243ce4e15e0014.tar.gz rust-a29d99de3b7247930d8517dd27243ce4e15e0014.zip | |
fix: add a breaker to avoid infinite loops from source root cycles
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions