Constructor doesn't change state#22

Czar102 wants to merge 1 commit into

Certora:masterCertora/tutorials-code:masterfrom

Czar102:5-submissionCzar102/tutorials-code:5-submissionCopy head branch name to clipboard