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