The latest version of certora-cli-alpha-niv-add-summary-unittests with no known security vulnerabilities is 20230502.9.27.872237. We recommend installing version 20230502.9.27.872237.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.