Beefing up the travis to actually use slash and check specialization, VI.
Beefing up the travis to actually use slash and check specialization, VI.

SRI-CSL/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM