property SetupSecurityManager {
// Setup test security managers to trace check calls.
check RSystem.initialize (args: String[]) {
naccio.library.NCheck.initializeManagers ();
}
}
Naccio Home Page
University of Virginia, Computer Science