Deprecate --enable-unstable and --restrict-vtable#3859
Merged
celinval merged 1 commit intomodel-checking:mainfrom celinval:issue-2279-rm-enable-unstableJan 28, 2025
+209-108
--enable-unstable and --restrict-vtable#3859