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