Hi all, another way to quickly find this information about the GNU Coreutils programs is to look at the "table of contents" of the online documentation:
http://www.gnu.org/software/coreutils/manual/html_node/index.html As can be gleaned from the short descriptions there, most GNU Coreutils programs use non-numeric input. HTH, Erik On Tue, May 26, 2020 at 01:43:41AM +0000, William Bader wrote: > I think that KLEE uses llvm to compile C programs to bytecode and then has a > bytecode interpreter that checks the coverage of test cases and a solver that > tries to generate test cases that completely cover the code. The person who > asked the question is probably looking for programs like 'tr' or 'sort' that > can take unstructured random text for input. The KLEE paper is at > http://llvm.org/pubs/2008-12-OSDI-KLEE.pdf and the start of the second page > has examples from coreutils. > To the person who asked the question, a list of the coreutils with links to > descriptions and man pages is at > http://www.maizure.org/projects/decoded-gnu-coreutils/ > Regard, William > > > ________________________________ > From: coreutils <coreutils-bounces+williambader=hotmail....@gnu.org> on > behalf of Nani Hutagaol <nanihutag...@gmail.com> > Sent: Monday, May 25, 2020 8:53 PM > To: Bernhard Voelker <m...@bernhard-voelker.de> > Cc: coreutils@gnu.org <coreutils@gnu.org> > Subject: Re: Which Coreutils Programs Use Non-Numeric Input/Data? > > thank you for the answer, > > On my research I want compare the performance of different solvers, > like STP and Z3 using with tools KLEE (http://klee.github.io/) on > generating test case with non numeric input. > My research need around 10 programs that use non-numeric input to compared. > > > Pada tanggal Sen, 25 Mei 2020 pukul 23.27 Bernhard Voelker < > m...@bernhard-voelker.de> menulis: > > > On 2020-05-25 10:36, Nani Hutagaol wrote: > > > I am currently in research about programs with non-numeric input, and I > > > want to use the program Coreutils. But it has so many programs that I can > > > not check one by one to see which non-numeric programs and not. > > > > > > Through this email, I beg for your help, can you please tell me, Which > > > Coreutils programs use non-numeric input/data? I mean the program > > executing > > > text or file, and not integers. > > > > Without knowing your use case or what you want to investigate it's hard to > > answer. > > > > From the list of coreutils programs [1], most of them do not use numeric > > input (e.g. the *sum family: md5sum, sha1sum , sha256sum, ...) - and some > > do not even use input at all (sleep, rm, kill, touch, ...). > > > > [1] https://git.sv.gnu.org/cgit/coreutils.git/tree/README#n8 > > > > Have a nice day, > > Berny > > > > > -- > Warm Regards > *Nani Renova Hutagaol*
