diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-21 10:06:02 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-21 10:11:47 -0700 |
| commit | 2e9366d3a9044742f41d254bedfa72b60a217551 (patch) | |
| tree | 3fe896dd141cc311078a412f67a2d01007f1f740 /test | |
| parent | 33ca2a3f2359493a9154a229a30ad3aa3a21f2aa (diff) | |
Change Bugzilla urls to Github issues.
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit/util/assert_white.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/util/assert_white.h b/test/unit/util/assert_white.h index 6af4eabcc..7b9899204 100644 --- a/test/unit/util/assert_white.h +++ b/test/unit/util/assert_white.h @@ -72,8 +72,8 @@ public: } // Now test an assert with a format that drives it over the 512 - // byte initial buffer. This was a bug in r1441, see bug 246: - // http://goedel.cims.nyu.edu/bugzilla3/show_bug.cgi?id=246 + // byte initial buffer. This was a bug in r1441, see bug: + // https://github.com/CVC4/CVC4/issues/465 string fmt = string(200, 'x') + " %s " + string(200, 'x'); string arg(200, 'y'); try { |