From 7c280115c226e4acb54ba819c12b0b42d89a3b7d Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Tue, 27 Sep 2011 13:35:03 +0000 Subject: [PATCH] Bugfix. Couldn't create booleans via the interface. Thanks to Stephan Falke. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1399 e59a4935-1847-0410-ae03-e826735625c1 --- tests/c-api-tests/Makefile | 6 +++++- tests/c-api-tests/stp-bool.c | 17 +++++++++++++++++ 2 files changed, 22 insertions(+), 1 deletion(-) create mode 100644 tests/c-api-tests/stp-bool.c diff --git a/tests/c-api-tests/Makefile b/tests/c-api-tests/Makefile index b601f01..d42f897 100644 --- a/tests/c-api-tests/Makefile +++ b/tests/c-api-tests/Makefile @@ -14,7 +14,7 @@ else endif -all: 0 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 +all: 0 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 rm -rf *.out 0: @@ -104,6 +104,10 @@ all: 0 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 ../../lib/libstp.a if-check.c ../../lib/libstp.a ./a24.out +25: + g++ $(CXXFLAGS) -o a26.out \ + ../../lib/libstp.a stp-bool.c ../../lib/libstp.a + ./a26.out clean: rm -rf *~ *.out *.dSYM diff --git a/tests/c-api-tests/stp-bool.c b/tests/c-api-tests/stp-bool.c new file mode 100644 index 0000000..9ef18cf --- /dev/null +++ b/tests/c-api-tests/stp-bool.c @@ -0,0 +1,17 @@ +#include +#include "c_interface.h" + +int main () +{ + VC vc; + int query_result; + int count = 0; + + vc = vc_createValidityChecker (); + + + Type type64 = vc_boolType (vc); + + + vc_Destroy (vc); +} -- 2.47.3