#
# This setup is used to test partial proof part of libabac
#
# This example shows a very simple delegation of roles by Acme and Osh.
# Acme's buy_rockets role includes all of Acme's preferred customers,
# Acme's buy_flowers role includes all of Acme's green thumbed customers
# and Osh's buy_rockets role includes all of Oash's preferred customers.
# The setup.py creates the principals and the attr.py creates policy 
# credentials.  
#
# osh_acme_rt0

# Credential 1
#[keyid:Acme].role:buy_rockets <- [keyid:Acme].role:preferred_customer 
# Credential 2
#[keyid:Acme].role:preferred_customer <- [keyid:Coyote]
# Credential 3
#[keyid:Acme].role:buy_flowers <- [keyid:Acme].role:green_thumb 
# Credential 4
#[keyid:Acme].role:green_thumb <- [keyid:Ladybug]

# Credential 5
#[keyid:Osh].role:buy_rockets <- [keyid:Osh].role:preferred_customer 
# Credential 6
#[keyid:Osh].role:preferred_customer <- [keyid:Ladybug]
# Credential 7
#[keyid:Osh].role:preferred_customer <- [keyid:Coyote]