Remove dangling symlink in CMBC proofs
Pre-release
Pre-release
What's Changed
- Let cursor equals assert print string on failure by @DmitriyMusatkin in #1030
- Remove dangling symlink in CMBC proofs by @jamesbornholt in #1031
Full Changelog: v0.8.21...v0.8.22