Skip to content

simplesmt: bugfix, index must be validated before modifying the tree#223

Merged
bobbinth merged 1 commit intonextfrom hacka-simplesmt-invalid-index-bugNov 23, 2023

Commits