diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-11-23 18:10:01 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-12-04 15:29:23 +0100 |
| commit | 7d71b87691c22d54a1119a491647db63d28b55d3 (patch) | |
| tree | a9847ba57d757820d91f26fcd26bb07e289cc9ce /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | ad1d5417e705c8d915b718b8fc29e58c49b8defa (diff) | |
| download | rust-7d71b87691c22d54a1119a491647db63d28b55d3.tar.gz rust-7d71b87691c22d54a1119a491647db63d28b55d3.zip | |
Correctly set `--cap-lints` when running regex tests
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions