bmc-interpolationSequence.properties

# 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

# --------------------------------------------------------------------------
# This configuration file enables Interpolation-sequence based Model Checking, 
# proposed in the paper "Interpolation-sequence based model checking" 
# from Yakir Vizel and Orna Grumberg.
# --------------------------------------------------------------------------

#include includes/bmc-without-valueAnalysis.properties

// this automaton defines which locations are the error locations
specification = specification/default.spc

#include includes/resource-limits.properties

#include includes/bmc-ISMC.properties