Skip to content

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

Open
CatarinaGamboa wants to merge 3 commits into
mainfrom
study-subclass-diagram
Open

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

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

a0b32aa
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar