Skip to content
CI Windows

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

Sign in to view logs

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

The logs for this run have expired and are no longer available.