Code

Constructor doesn't change state#22

Code

Open

Czar102 wants to merge 1 commit intoCertora:masterCertora/tutorials-code:masterfrom Czar102:5-submissionCzar102/tutorials-code:5-submissionCopy head branch name to clipboard

+129-10

Commits

Commits on Sep 28, 2023

• constructor doesn't change state

  Czar102

  committed
  2849494

  Copy full SHA for 2849494