Searched defs:constraint_spec (Results 1 – 2 of 2) sorted by relevance
42 constraint_spec: Vec<ConstraintSpec>, field75 let constraint_spec = vec![ in get_example() localVariable329 let constraint_spec = vec![ in policy_dice_size_is_same() localVariable
49 let constraint_spec = get_constraints_spec_for_trusty_vm(); in test_auth_mgr_protocol_single_pvm() localVariable