Closed askervin closed 1 month ago
%04g-target formatting resulted in filenames like -1.0329e+121-vm in some environments. As COMMAND_COUNTER is a natural number, let us format it using %d for consistent results.
%04g-target formatting resulted in filenames like -1.0329e+121-vm in some environments. As COMMAND_COUNTER is a natural number, let us format it using %d for consistent results.