Skip to content

CERTORA I-02 Remove unnecessary inheritance from Base contract#226

Merged
dglowinski merged 1 commit intocantina-candidatefrom remove-unnecessary-inheritanice-baseMay 19, 2024

Commits

Commits on May 19, 2024