The example is confusing, as it just happens to result in 1 2 3,
$ printf '%s\n' 1 2 3 4 > file1
$ printf '%s\n' 2 3 4 5 6 > file2
$ comm --total -123 file1 file2
1 2 3 total
So please use
$ printf '%s\n' 0 2 3 5 6 > file1
$ printf '%s\n' 1 2 4 6 7 8 9 >
On 11/08/2016 06:47 PM, Pádraig Brady wrote:
p.s. These Symbolic Execution techniques are intriguing.
Have you any more details.
Thanks for your interest in our techniques. Symbolic Execution is a
dynamic analysis method to automatically find bugs by executing a
program with symbolic inputs,