Imported Upstream version 0.7.27

[platform/upstream/libsolv.git] / ext / testcase.h

diff --git a/ext/testcase.h b/ext/testcase.h
index d57f116..fae6379 100644 (file)
--- a/ext/testcase.h
+++ b/ext/testcase.h
@@ -23,6 +23,7 @@
 #define TESTCASE_RESULT_USERINSTALLED  (1 << 11)
 #define TESTCASE_RESULT_ORDER          (1 << 12)
 #define TESTCASE_RESULT_ORDEREDGES     (1 << 13)
+#define TESTCASE_RESULT_PROOF          (1 << 14)
 
 /* reuse solver hack, testsolv use only */
 #define TESTCASE_RESULT_REUSE_SOLVER   (1 << 31)