5 Commits

Author	SHA1	Message	Date
Allan Shortlidge	747f286b8d	ModuleInterface: Adopt new swiftinterface verification lit substitutions pervasively in tests where they can be adopted by simply updating or adding a few RUN: lines.	2022-04-15 20:13:00 -07:00
Doug Gregor	1e2012d816	Disable availability checking in tests that use concurrency	2021-07-20 12:46:26 -07:00
Kavon Farvardin	e17e09c294	Enable effectful properties (SE-310) by default. ... 1. Removes gating on -enable-experimental-concurrency. 2. Updates eff. prop tests to remove experimental flag, and also adjusts some tests slightly to avoid things that are still behind that flag.	2021-05-03 14:10:44 -07:00
Kavon Farvardin	c5ec5bf5b1	fix feature guards in swiftinterface for eff. props	2021-04-30 17:07:18 -07:00
Kavon Farvardin	c1f48c6855	fix missing effects specifiers on eff props in swiftinterface ... I missed the case where the body is also being printed in the interface file.	2021-04-29 20:29:50 -07:00