projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 63ad6f0)
Make the python quickstart example run using ctest (#7023)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 19 Aug 2021 23:43:13 +0000 (02:43 +0300)
committerGitHub <noreply@github.com>
Thu, 19 Aug 2021 23:43:13 +0000 (23:43 +0000)
examples/api/python/CMakeLists.txt patch | blob | history

diff --git a/examples/api/python/CMakeLists.txt b/examples/api/python/CMakeLists.txt
index 426eb0d3d73f04c7cf934a713b770a7af47f7df6..0051859b191690de9f67bc80d042177891da9442 100644 (file)
--- a/examples/api/python/CMakeLists.txt
+++ b/examples/api/python/CMakeLists.txt
@@ -24,6 +24,7 @@ set(EXAMPLES_API_PYTHON
   helloworld
   id
   linear_arith
+  quickstart
   sequences
   sets
   strings