2cb87f4f8f
There were some odd discrepancy for `integerToByteString` on the mem side. Either 1 or about 1000 mem units off; which I couldn't quite figure out. Yet, it proves useful to validate builtin at large and ensure we have a valid cost model for v3. |
||
|---|---|---|
| .. | ||
| app | ||
| argExpected | ||
| case | ||
| closure | ||
| constr | ||
| delay | ||
| force | ||
| lam | ||
| nonFunctionalApplication | ||
| unlifting-sat | ||
| unlifting-unsat | ||
| var | ||