Skip to content

builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases #1587

builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases

builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases #1587