Skip to content

Constructor doesn't change state#22

Open
Czar102 wants to merge 1 commit intoCertora:masterfrom
Czar102:5-submission
Open

Constructor doesn't change state#22
Czar102 wants to merge 1 commit intoCertora:masterfrom
Czar102:5-submission

Conversation

@Czar102
Copy link

@Czar102 Czar102 commented Sep 28, 2023

Finally figured out how to check post-constructor state/state changes!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant