kraiskil/onnx2c

Make generated float constant precision a command line option.

kraiskil opened this issue · 0 comments

Number of decimals printed for float constants is hard-coded to 20 in:

std::cout.precision(20);

The number of decimal points should be a command line option (with 20 being a good default).