I looked at the text version of the bug report and don't understand it.
Can you please rephrase the bug report so that you tell us how you
invoked 'paste' (command line arguments and input file contents), what
behavior you expected, and what behavior you observed? Please bear in
mind that your readers might not know about klee. Thanks.
- bug#66294: Formal Bug Report in paste.c of Coreutils Version 9... Paul Eggert
- bug#66294: Formal Bug Report in paste.c of Coreutils Vers... Paul Eggert