Skip to content

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

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 #1639