add_subdirectory(example-tool)
add_subdirectory(phasar-cli)
