Error running this command: diff -U 5 "/tmp/SmvRFG" "/tmp/PdAwoQ"
diff -U 5 "/tmp/SmvRFG" "/tmp/PdAwoQ"
No output on STDOUT.