2 Commits

Author	SHA1	Message	Date
Wilson Snyder	99daa8d24b	Support `default disable iff` and `$inferred_disable` (#4016).	2024-11-26 22:27:32 -05:00
Wilson Snyder	6bf253deda	Tests: Test for unsupported default disable (#4016)	2023-12-24 13:11:09 -05:00