"""
This package has files that contain utility functions which are used by all the other packages.
Specifically, if you have a functionality used by both CI_tests and EVMVerifier, it should probably belong to one of the
files under the current package.

This package is a part of the certora_cli customer-facing Python package.
"""
