root/trunk/test/test0058/test.fpol

Revision 991, 120 bytes (checked in by bwhalen, 7 years ago)

This test checks for an incorrectly ordered domain and resource in an access call.

Line 
1 #Test 0058- Invalid access call, resource then domain
2 domain d { dirFiles };
3 resource r  { dirFiles };
4 access r d write;
Note: See TracBrowser for help on using the browser.