-
Notifications
You must be signed in to change notification settings - Fork 282
Closed
Labels
Code ContractsFunction and loop contractsFunction and loop contractsawsBugs or features of importance to AWS CBMC usersBugs or features of importance to AWS CBMC users
Description
With c++20 "requires" was added to the list of keywords (https://en.cppreference.com/w/cpp/keyword). This might lead to problems down the line when using g++20 as there is a function named requires()
in util/c_types.h
.
Metadata
Metadata
Assignees
Labels
Code ContractsFunction and loop contractsFunction and loop contractsawsBugs or features of importance to AWS CBMC usersBugs or features of importance to AWS CBMC users