
--------------------Start DTEvisual--------------------
rover-238-37.rovernet.mtu.edu.68305.2016-09-23 00:11:58
2016-09-23 00:11:58.909327: Switch to Self Test Mode
2016-09-23 00:12:04.251714: Switch to General Graph
2016-09-23 00:12:04.572710: Switch to Type Graph
2016-09-23 00:12:05.291332: Switch to General Graph
2016-09-23 00:12:05.704940: Switch to Self Test Mode
2016-09-23 00:12:07.503312: Specification Dialog turned on
2016-09-23 00:12:09.093846: Specification Dialog turned off
2016-09-23 00:12:10.595189: Switch to General Graph
2016-09-23 00:12:14.174471: Import DTE spec file: /Users/junt/Documents/PyInstaller-2.1/DTEvisual/dist/DTEvisual/policies/logMod.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,log_t;

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->dte_t,writable_t,readable_t,sysbin_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,dte_t,generic_t),

        (exec->user_d,admin_d);

domain daemon_d = (/sbin/init),

        (dr->dte_t,readable_t,generic_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->log_d,login_d);

domain log_d = (/usr/bin/syslogd),

        (cdrw->log_t),

        (dr->readable_t,generic_t),

        (drw->writable_t);

initial_domain = daemon_d;

assign -r log_t /usr/var/log;

assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s sysbin_t /usr/sysbin,/usr/bin,/bin,/sbin;

assign -r -s dte_t /dte;

assign  writable_t /usr/var/log/utmp,/usr/var/log/wtmp;

assign -r writable_t /usr/var,/tmp,/dev;

**************************************************
Succeeded!
2016-09-23 00:12:15.244502: Switch to Type Graph
2016-09-23 00:12:15.616528: Switch to Self Test Mode
