Code

Clean up Z3ListDatatypeTest#343

Code

Merged

shingarov merged 2 commits intopure-z3shingarov/MachineArithmetic:pure-z3from clean-up-datatype-testshingarov/MachineArithmetic:clean-up-datatype-testCopy head branch name to clipboardSep 9, 2024

+2-27

Commits

Commits on Sep 9, 2024

• Skip Z3ListDatatypeTest>>testNilHasLength0 conditionally on Smalltalk/X

  Show description for 1c8a93f
  janvrany

  committed
  1c8a93f

  Copy full SHA for 1c8a93f

• Remove Z3ListDatatypeTest>>testAppendAddsLengths

  Show description for 1f4c4a0
  

  shingarov

  authored and

  janvrany

  committed
  1f4c4a0

  Copy full SHA for 1f4c4a0