This repository was archived by the owner on Jun 14, 2022. It is now read-only.

Fix state constructor for obscure specification#26

Merged

prehner merged 3 commits intomainfrom

fix_state_constructor

Feb 11, 2022

Commits on Feb 11, 2022