Improved performance of `prop codec splitsM`

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.

15 stars 4 forks source link

Closed coot closed 11 months ago

coot commented 11 months ago

coot commented 11 months ago

For TxSubmission2 test the improvement is from 0.5GB to <25MB.