Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
remove 'test-record-replay.sh' (#5057)
Forget removing this the script for testing record-replay. The test is already integrated to slang-test.
- Loading branch information