The conversion for values in a channel driving the DSLX interpreter for a proc does not consider signedness. This is a bug and should be fixed.
The conversion for values in a channel driving the DSLX interpreter for a proc does not consider signedness. This is a bug and should be fixed.