diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-30 16:55:58 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-30 23:55:58 +0000 |
commit | af1b3974022509e26fc14bfe6cb49cb73074b32e (patch) | |
tree | 7119c2da1971ad8bdfe5f46b8f72be2f2290dc80 /examples | |
parent | 22c83c12097da6105e6f03e0df70385527e651a4 (diff) |
Add API function to obtain information about a single option (#6980)
This PR adds api::Solver::getOptionInfo() that returns information about a single option, including its name, aliases, current and default value and its domain.
Diffstat (limited to 'examples')
-rw-r--r-- | examples/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 076715f2e..86634bc0c 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -17,7 +17,7 @@ cmake_minimum_required(VERSION 3.4) project(cvc5-examples) -set(CMAKE_CXX_STANDARD 11) +set(CMAKE_CXX_STANDARD 17) enable_testing() |