Skip to content

Fix conversion of Quint nullary polymorphic operators #7110

Fix conversion of Quint nullary polymorphic operators

Fix conversion of Quint nullary polymorphic operators #7110

Annotations

1 warning

format-check

succeeded Dec 10, 2024 in 3m 56s