Enable Slither for all tests that require solving for properties #568

Open

Open

Enable Slither for all tests that require solving for properties#568

Labels

Running Slither should allow for all tests to be solved faster and that outweighs the cost of running Slither in the CI

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests