On Thu, Oct 25, 2012 at 9:52 AM, Diego Novillo <dnovi...@google.com> wrote: > On Thu, Oct 25, 2012 at 12:48 PM, Xinliang David Li <davi...@google.com> > wrote: >> On Thu, Oct 25, 2012 at 9:39 AM, Jakub Jelinek <ja...@redhat.com> wrote: >>> >>> librt is a very bad name, that clashes with glibc librt, would only create >>> confusion. >> >> Ok, then we should pick something that is not confusing but reflect >> the fact they are for runtime error checking .. > > libsanitizer?
+1 --- missed the obvious one :) David > > > Diego.
