Esempio n. 1
0
        public HashSet <string> getInstrumentedProcedures()
        {
            var t = new HashSet <string>();

            t.Add(inst.getContextSwitchProcedure().Name);
            return(t);
        }