1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
###############################################################################
# Top contributors (to current version):
# Aina Niemetz, Gereon Kremer, Yoni Zohar
#
# This file is part of the cvc5 project.
#
# Copyright (c) 2009-2025 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.
# #############################################################################
#
# The build system configuration.
##
# Check if the pytest Python module is installed.
check_python_module("pytest")
# Add Python bindings API unit tests.
macro(cvc5_add_python_api_unit_test name)
# We create test target 'unit/api/python/myapitest' and run it with
# 'ctest -R "unit/api/python/myapitest"'.
set(test_name unit/api/python/${name})
add_test (NAME ${test_name}
COMMAND ${Python_EXECUTABLE}
-m pytest ${CMAKE_CURRENT_SOURCE_DIR}/${name}.py
# directory for importing the python bindings
WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/src/api/python)
set_tests_properties(${test_name} PROPERTIES LABELS "unit;python")
endmacro()
# add specific test files
if(USE_COCOA)
cvc5_add_python_api_unit_test(test_finite_field test_finite_field.py)
endif()
cvc5_add_python_api_unit_test(test_solver test_solver.py)
cvc5_add_python_api_unit_test(test_sort test_sort.py)
cvc5_add_python_api_unit_test(test_term test_term.py)
cvc5_add_python_api_unit_test(test_term_manager test_term_manager.py)
cvc5_add_python_api_unit_test(test_datatype_api test_datatype_api.py)
cvc5_add_python_api_unit_test(test_grammar test_grammar.py)
cvc5_add_python_api_unit_test(test_to_python_obj test_to_python_obj.py)
cvc5_add_python_api_unit_test(test_op test_op.py)
cvc5_add_python_api_unit_test(test_result test_result.py)
cvc5_add_python_api_unit_test(test_synth_result test_synth_result.py)
cvc5_add_python_api_unit_test(test_proof test_proof.py)
cvc5_add_python_api_unit_test(test_command test_command.py)
cvc5_add_python_api_unit_test(test_input_parser test_input_parser.py)
cvc5_add_python_api_unit_test(test_symbol_manager test_symbol_manager.py)
set_source_files_properties(test_uncovered.cpp
PROPERTIES COMPILE_OPTIONS
"-Wno-deprecated-declarations;-Wno-error=deprecated-declarations")
cvc5_add_unit_test_black(test_uncovered api/python)
|
