If litani is not in the PATH, cbmc-starter-kit-setup fails because of the reference https://github.com/model-checking/cbmc-starter-kit/blob/master/src/cbmc_starter_kit/setup.py#L80 to the no-longer existing repository.litani_root().
From d7aa4ee it seems that the branch should be removed: "Developers, who contribute to projects using the cbmc-starter-kit, now add Litani to their system's PATH and no longer add it to their project as a submodule."
Also, should litani be a dependency of cbmc-starter-kit in brew?
If
litaniis not in thePATH,cbmc-starter-kit-setupfails because of the reference https://github.com/model-checking/cbmc-starter-kit/blob/master/src/cbmc_starter_kit/setup.py#L80 to the no-longer existingrepository.litani_root().From d7aa4ee it seems that the branch should be removed: "Developers, who contribute to projects using the cbmc-starter-kit, now add Litani to their system's PATH and no longer add it to their project as a submodule."
Also, should
litanibe a dependency ofcbmc-starter-kitinbrew?