Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
Jeff "never puts away anything, especially oven mitts" Cliff, Bringer of Nightmares 🏴☠️🦝🐙 🇱🇧🧯 🇨🇦🐧 (jeffcliff@shitposter.world)'s status on Sunday, 15-Dec-2024 13:25:54 JST Jeff "never puts away anything, especially oven mitts" Cliff, Bringer of Nightmares 🏴☠️🦝🐙 🇱🇧🧯 🇨🇦🐧
i think i know what is failing on the ethereum's c++ dependency team's version of z3 but i bet the real version of z3 doens't fail with this so the real problem is that they aren't using the default debian z3 but we'll see