# This file is part of CPAchecker,
# a tool for configurable software verification:
# https://cpachecker.sosy-lab.org
#
# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0

benchexec

# For push notifications from VerifierCloud WebClient instead of polling.
# Older version because it is unclear whether these issues affect us:
# https://github.com/btubbs/sseclient/issues/8
# https://github.com/btubbs/sseclient/issues/9
sseclient==0.0.15

# Optional dependency of benchexec
coloredlogs
