Re: Which Coreutils Programs Use Non-Numeric Input/Data?

[Nani Hutagaol]

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 <
address@hidden> 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*