Verifai

Latest version: v2.1.1

Safety actively analyzes 625610 Python packages for vulnerabilities to keep your Python projects secure.

2.1.1

This bugfix release of VerifAI fixes an issue which sometimes occurred when using Scenic programs with more than 10 objects (see 54 for details).

2.1.0

This minor release of VerifAI adds support for Scenic 3 and fixes several bugs.

N.B. This release was published on PyPI in June 2023 but was accidentally omitted here.

2.0.0b1

This is a beta release of the VerifAI `2.x` series, which supports Scenic 2.0.

Releases

Has known vulnerabilities

2.1.1
2.1.0
2.0.0b1