The latest version of certora-cli-alpha-dominik-debug-of-mus-tests with no known security vulnerabilities is 20230502.10.6.740039. We recommend installing version 20230502.10.6.740039.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.