Skip to content

Show a subclass's call on the state set it inherits from a superclass's spec - #174

Merged
CatarinaGamboa merged 3 commits into
mainfrom
study-subclass-diagram
Nov 10, 2026
Merged

Show a subclass's call on the state set it inherits from a superclass's spec#174
CatarinaGamboa merged 3 commits into
mainfrom
study-subclass-diagram

Restore the verifier's IDE mode after the spec files test

974043b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar