From 0ba0ead92957158ea856b65da343090ba87fb74b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre=20Cr=C3=A9gut?= <pierre.cregut@orange.com>
Date: Fri, 20 Jul 2018 09:19:06 +0200
Subject: [PATCH] Adds support for z3 policies

z3 is a new kind of theory where rules are treated by Microsoft Z3 engine.
The end-user must explicitly mark policies using this engine.

Change-Id: I519821ccb8a14d9a28bf890bb98c55c01c2a0e9c
Partially-implements: blueprint alternative-engine-z3
---
 congressclient/osc/v1/policy.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/congressclient/osc/v1/policy.py b/congressclient/osc/v1/policy.py
index e52ab75..723f01f 100644
--- a/congressclient/osc/v1/policy.py
+++ b/congressclient/osc/v1/policy.py
@@ -287,9 +287,10 @@ class CreatePolicy(show.ShowOne):
         parser.add_argument(
             '--kind',
             metavar="<kind>",
-            choices=['nonrecursive', 'database', 'action', 'materialized'],
+            choices=['nonrecursive', 'database', 'action', 'materialized',
+                     'z3'],
             help="Kind of policy: "
-                 "{nonrecursive, database, action, materialized}")
+                 "{nonrecursive, database, action, materialized, z3}")
         return parser
 
     def take_action(self, parsed_args):