Skip to content
V Apps and Modules

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

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

Annotations

1 warning

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