diff options
Diffstat (limited to 'test/unit/api/op_white.cpp')
-rw-r--r-- | test/unit/api/op_white.cpp | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/unit/api/op_white.cpp b/test/unit/api/op_white.cpp new file mode 100644 index 000000000..6f1ff549f --- /dev/null +++ b/test/unit/api/op_white.cpp @@ -0,0 +1,35 @@ +/********************* */ +/*! \file op_white.cpp + ** \verbatim + ** Top contributors (to current version): + ** Aina Niemetz + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS + ** in the top-level source directory and their institutional affiliations. + ** All rights reserved. See the file COPYING in the top-level source + ** directory for licensing information.\endverbatim + ** + ** \brief White box testing of the Op class. + **/ + +#include "test_api.h" + +namespace CVC4 { + +using namespace api; + +namespace test { + +class TestApiWhiteOp : public TestApi +{ +}; + +TEST_F(TestApiWhiteOp, opFromKind) +{ + Op plus(&d_solver, PLUS); + ASSERT_FALSE(plus.isIndexed()); + ASSERT_THROW(plus.getIndices<uint32_t>(), CVC4ApiException); + ASSERT_EQ(plus, d_solver.mkOp(PLUS)); +} +} // namespace test +} // namespace CVC4 |