Microsoft.Z3.Context.ProbeDescription C# (CSharp) Méthode

        public string ProbeDescription(string name)
        {
            Contract.Ensures(Contract.Result<string>() != null);

            return Native.Z3_probe_get_descr(nCtx, name);
        }