Skip to content

fix: hexify for extract and const terms (#440) #503

fix: hexify for extract and const terms (#440)

fix: hexify for extract and const terms (#440) #503

Annotations

1 warning

test (farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2 --solver-threads 3)

succeeded Jan 14, 2025 in 2m 15s