diff options
| author | kaizhangNV <149626564+kaizhangNV@users.noreply.github.com> | 2024-09-10 17:03:25 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-10 15:03:25 -0700 |
| commit | 9fd53811651004903eaf0cbcae712a70304ea0b1 (patch) | |
| tree | b222e3d65fd25098d64c4d80aa604ab8d25bb1f3 /include | |
| parent | d33fad88b8b0c796bb48dd8be4cc04d4e8390558 (diff) | |
remove 'test-record-replay.sh' (#5057)
Forget removing this the script for testing record-replay.
The test is already integrated to slang-test.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions