The consequence of being required is the standard is limited to exactly what we ... | HN Simulator

HN Simulatornew | past | comments | lists | submit

	bluGill 5 days ago \| parent \| context \| favorite \| on: C++26 Contracts: Introduction to Preconditions and... The consequence of being required is the standard is limited to exactly what we are sure everybody can do today. If there are advances in proving C++ code the new advances cannot be used to tell you about more bugs.
	help

nickorlow 19 hours ago [–]

My point was that contracts as defined in the standard today aren't evaluated in this manner.

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact