Packing.t.js 1.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. const format = require('../format-lines');
  2. const { product } = require('../../helpers');
  3. const { SIZES } = require('./Packing.opts');
  4. // TEMPLATE
  5. const header = `\
  6. pragma solidity ^0.8.20;
  7. import {Test} from "forge-std/Test.sol";
  8. import {Packing} from "@openzeppelin/contracts/utils/Packing.sol";
  9. `;
  10. const testPack = (left, right) => `\
  11. function testPack(bytes${left} left, bytes${right} right) external {
  12. assertEq(left, Packing.pack_${left}_${right}(left, right).extract_${left + right}_${left}(0));
  13. assertEq(right, Packing.pack_${left}_${right}(left, right).extract_${left + right}_${right}(${left}));
  14. }
  15. `;
  16. const testReplace = (outer, inner) => `\
  17. function testReplace(bytes${outer} container, bytes${inner} newValue, uint8 offset) external {
  18. offset = uint8(bound(offset, 0, ${outer - inner}));
  19. bytes${inner} oldValue = container.extract_${outer}_${inner}(offset);
  20. assertEq(newValue, container.replace_${outer}_${inner}(newValue, offset).extract_${outer}_${inner}(offset));
  21. assertEq(container, container.replace_${outer}_${inner}(newValue, offset).replace_${outer}_${inner}(oldValue, offset));
  22. }
  23. `;
  24. // GENERATE
  25. module.exports = format(
  26. header,
  27. 'contract PackingTest is Test {',
  28. format(
  29. [].concat(
  30. 'using Packing for *;',
  31. '',
  32. product(SIZES, SIZES)
  33. .filter(([left, right]) => SIZES.includes(left + right))
  34. .map(([left, right]) => testPack(left, right)),
  35. product(SIZES, SIZES)
  36. .filter(([outer, inner]) => outer > inner)
  37. .map(([outer, inner]) => testReplace(outer, inner)),
  38. ),
  39. ).trimEnd(),
  40. '}',
  41. );