(text)
| 1045 | } |
| 1046 | |
| 1047 | function demangleAll(text) { |
| 1048 | return text.replace(/__Z[\w\d_]+/g, function(x) { var y = demangle(x); return x === y ? x : (x + ' [' + y + ']') }); |
| 1049 | } |
| 1050 | |
| 1051 | function stackTrace() { |
| 1052 | var stack = new Error().stack; |
no test coverage detected