Thu, 22 Jan 2015 13:21:57 +0100
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
michael@0 | 1 | // Any copyright is dedicated to the Public Domain. |
michael@0 | 2 | // http://creativecommons.org/licenses/publicdomain/ |
michael@0 | 3 | |
michael@0 | 4 | try { |
michael@0 | 5 | version(4096); // don't assert |
michael@0 | 6 | } catch (exc) { |
michael@0 | 7 | } |
michael@0 | 8 | |
michael@0 | 9 | try { |
michael@0 | 10 | version(-1); // don't assert |
michael@0 | 11 | } catch (exc) { |
michael@0 | 12 | } |
michael@0 | 13 | |
michael@0 | 14 | reportCompare(0, 0, 'ok'); |