From 9d56364cfa73e35c50517cf8480326bf7cbc74de Mon Sep 17 00:00:00 2001 From: Daniel Schwartz-Narbonne Date: Thu, 21 Feb 2019 10:41:14 -0500 Subject: [PATCH 1/2] add required config file --- .cbmc-batch/include/aws/common/config.h | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 .cbmc-batch/include/aws/common/config.h diff --git a/.cbmc-batch/include/aws/common/config.h b/.cbmc-batch/include/aws/common/config.h new file mode 100644 index 000000000..e69de29bb From fc3f74fe11da976190bb01b2c33f40b879c0039f Mon Sep 17 00:00:00 2001 From: Daniel Schwartz-Narbonne Date: Thu, 21 Feb 2019 11:36:02 -0500 Subject: [PATCH 2/2] add comments to the config.h file as per PR review --- .cbmc-batch/include/aws/common/config.h | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/.cbmc-batch/include/aws/common/config.h b/.cbmc-batch/include/aws/common/config.h index e69de29bb..4d2abf666 100644 --- a/.cbmc-batch/include/aws/common/config.h +++ b/.cbmc-batch/include/aws/common/config.h @@ -0,0 +1,20 @@ +/* + * Copyright 2019 Amazon.com, Inc. or its affiliates. All Rights Reserved. + * + * Licensed under the Apache License, Version 2.0 (the "License"). + * You may not use this file except in compliance with the License. + * A copy of the License is located at + * + * http://aws.amazon.com/apache2.0 + * + * or in the "license" file accompanying this file. This file is distributed + * on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either + * express or implied. See the License for the specific language governing + * permissions and limitations under the License. + */ + +#pragma once + +/* aws-c-common requires a configuration file. + * We do not currently need to set any options. + */