diff options
| author | J08nY | 2018-07-16 20:04:14 +0200 |
|---|---|---|
| committer | J08nY | 2018-07-16 20:04:14 +0200 |
| commit | 762cc0c58f3e9b23077a3b0f88fe95232d02935d (patch) | |
| tree | 5f39f7adc36308957d0489c558322ebbb2b5ae40 /src/cz/crcs/ectester/common/output/BaseTextTestWriter.java | |
| parent | 94430f04698c9fe8675b217ca831d980918db97c (diff) | |
| download | ECTester-762cc0c58f3e9b23077a3b0f88fe95232d02935d.tar.gz ECTester-762cc0c58f3e9b23077a3b0f88fe95232d02935d.tar.zst ECTester-762cc0c58f3e9b23077a3b0f88fe95232d02935d.zip | |
Add tests of increasingly larger prime R to better understand behavior of impls.
Diffstat (limited to 'src/cz/crcs/ectester/common/output/BaseTextTestWriter.java')
| -rw-r--r-- | src/cz/crcs/ectester/common/output/BaseTextTestWriter.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cz/crcs/ectester/common/output/BaseTextTestWriter.java b/src/cz/crcs/ectester/common/output/BaseTextTestWriter.java index ea28489..ee55069 100644 --- a/src/cz/crcs/ectester/common/output/BaseTextTestWriter.java +++ b/src/cz/crcs/ectester/common/output/BaseTextTestWriter.java @@ -58,6 +58,7 @@ public abstract class BaseTextTestWriter implements TestWriter { if (prefix.equals("")) { char charLine[] = new char[BASE_WIDTH + 24]; new String(new char[BASE_WIDTH + 24]).replace("\0", "━").getChars(0, charLine.length - 1, charLine, 0); + charLine[0] = '■'; charLine[4] = '┳'; charLine[BASE_WIDTH + 1] = '┳'; charLine[BASE_WIDTH + 13] = '┳'; |