diff options
author | Jasper Hugunin <jasperh@cs.washington.edu> | 2018-01-11 12:04:48 +0900 |
---|---|---|
committer | Jasper Hugunin <jasperh@cs.washington.edu> | 2018-01-11 12:04:48 +0900 |
commit | 25f910c9229218e08b1a4bbfa22c02fa43bb2394 (patch) | |
tree | 749173f82714ced3a157d27a5a6e4f5d4d0dcde1 /test-suite/README.md | |
parent | 2e0b408b69d40ab457c998854e43d0b60dd1c68b (diff) |
Lint and remove redundant line
Diffstat (limited to 'test-suite/README.md')
-rw-r--r-- | test-suite/README.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test-suite/README.md b/test-suite/README.md index 2e288ff73..1ec5d667e 100644 --- a/test-suite/README.md +++ b/test-suite/README.md @@ -8,7 +8,6 @@ If you run `make` from the `test-suite` directory, there is no clean step. You can also run `make aaa/bbb/ccc.v.log` to build the log for one test, or `make ddd` where `ddd` is on of the sub-directories of `test-suite` to just build the logs for that directory. -Logs are stored in said `.log` file. In these cases, a summary is not printed, but can be generated by `make summary`. `make -B` can be used to rerun tests ( -B meaning always remake). @@ -24,4 +23,3 @@ When you fix a bug, you should usually add a regression test here as well. The error "(bug seems to be opened, please check)" when running `make test-suite` means that a test in `bugs/closed` failed to compile. There are also output tests in `test-suite/output` which consist of a `.v` file and a `.out` file with the expected output. - |