diff options
| author | Vincent Laporte | 2018-10-03 07:21:53 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-04 08:01:40 +0000 |
| commit | 1b06197525c2a3a5be8c6b20eef3227fa5ef3dc8 (patch) | |
| tree | 91d8e0d8fb469588e5571bfb2df3cf821f31098f /test-suite/output | |
| parent | db22ae6140259dd065fdd80af4cb3c3bab41c184 (diff) | |
test-suite: rename a few files
Diffstat (limited to 'test-suite/output')
| -rw-r--r-- | test-suite/output/rewrite_2172.out (renamed from test-suite/output/rewrite-2172.out) | 0 | ||||
| -rw-r--r-- | test-suite/output/rewrite_2172.v (renamed from test-suite/output/rewrite-2172.v) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/output/rewrite-2172.out b/test-suite/output/rewrite_2172.out index 27b0dc1b7b..27b0dc1b7b 100644 --- a/test-suite/output/rewrite-2172.out +++ b/test-suite/output/rewrite_2172.out diff --git a/test-suite/output/rewrite-2172.v b/test-suite/output/rewrite_2172.v index 212b1c1259..212b1c1259 100644 --- a/test-suite/output/rewrite-2172.v +++ b/test-suite/output/rewrite_2172.v |