# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT
#
# Set up import path for unit tests


import sys
import pathlib

sys.path.append(str(pathlib.Path(__file__).parent.parent.parent))