Code

Fix failing #testTrapiSubstitution#38

Code

Merged

shingarov merged 1 commit intoshingarov:pure-z3shingarov/Pharo-ArchC:pure-z3from janvrany:pr/fix-testTrapiSubstitutionjanvrany/Pharo-ArchC:pr/fix-testTrapiSubstitutionCopy head branch name to clipboardJun 24, 2024

+5-8

Commits

Commits on Jun 19, 2024

• Fix failing #testTrapiSubstitution

  Show description for a233a2c
  janvrany

  committed
  a233a2c

  Copy full SHA for a233a2c