Error running this command: diff -U 5 "/tmp/0ndnHu" "/tmp/MshrPu"
diff -U 5 "/tmp/0ndnHu" "/tmp/MshrPu"
No output on STDOUT.