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.

Reply via email to