diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2020-08-30 12:06:40 -0400 |
|---|---|---|
| committer | Joshua Nelson <jyn514@gmail.com> | 2020-08-30 12:06:40 -0400 |
| commit | d7150154fa5c35c0b570570f156ba3a5cc6dfb1d (patch) | |
| tree | 8a2ed9d3cb2ece50720f7ac157b7dcfcc1dd8b63 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | e885f00f24aab657b3a9835818fc96e638e7fb21 (diff) | |
| download | rust-d7150154fa5c35c0b570570f156ba3a5cc6dfb1d.tar.gz rust-d7150154fa5c35c0b570570f156ba3a5cc6dfb1d.zip | |
Improve tests
Now this actually tests the links are generated correctly
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions