Merge "Adds support for z3 policies"
This commit is contained in:
commit
c7cd43b5fb
@ -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):
|
||||
|
Loading…
x
Reference in New Issue
Block a user