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*
