diff options
| author | Ralf Jung <post@ralfj.de> | 2024-01-06 16:05:41 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-01-06 16:05:41 +0100 |
| commit | 643e7f08da77960aad4c807621de507c833f7759 (patch) | |
| tree | 708732c9062592552aec5f894f03204f07e54eab /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | d334a4bccfa9529c35be45e3e1a34bf875c01030 (diff) | |
| download | rust-643e7f08da77960aad4c807621de507c833f7759.tar.gz rust-643e7f08da77960aad4c807621de507c833f7759.zip | |
./miri build: also build tests, to avoid rebuilds later
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions