diff --git a/source/core_json.c b/source/core_json.c index 69cb4da5..1d073163 100644 --- a/source/core_json.c +++ b/source/core_json.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_json.h b/source/include/core_json.h index 9783ee55..83239855 100644 --- a/source/include/core_json.h +++ b/source/include/core_json.h @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/core_json_annex.h b/test/cbmc/include/core_json_annex.h index 1adbf9da..d0eb336b 100644 --- a/test/cbmc/include/core_json_annex.h +++ b/test/cbmc/include/core_json_annex.h @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/skipGeneric.h b/test/cbmc/include/skipGeneric.h index 3c2cc5e2..1f6a6bb5 100644 --- a/test/cbmc/include/skipGeneric.h +++ b/test/cbmc/include/skipGeneric.h @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/JSON_Search/JSON_Search_harness.c b/test/cbmc/proofs/JSON_Search/JSON_Search_harness.c index ba1b36cb..49ca2109 100644 --- a/test/cbmc/proofs/JSON_Search/JSON_Search_harness.c +++ b/test/cbmc/proofs/JSON_Search/JSON_Search_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c b/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c index 2dbf9ae6..31743c78 100644 --- a/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c +++ b/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/skipAnyLiteral/skipAnyLiteral_harness.c b/test/cbmc/proofs/skipAnyLiteral/skipAnyLiteral_harness.c index 82ffe8d6..66824970 100644 --- a/test/cbmc/proofs/skipAnyLiteral/skipAnyLiteral_harness.c +++ b/test/cbmc/proofs/skipAnyLiteral/skipAnyLiteral_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/skipCollection/skipCollection_harness.c b/test/cbmc/proofs/skipCollection/skipCollection_harness.c index 88022674..9564efbd 100644 --- a/test/cbmc/proofs/skipCollection/skipCollection_harness.c +++ b/test/cbmc/proofs/skipCollection/skipCollection_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/skipEscape/skipEscape_harness.c b/test/cbmc/proofs/skipEscape/skipEscape_harness.c index 7eb709de..021e2008 100644 --- a/test/cbmc/proofs/skipEscape/skipEscape_harness.c +++ b/test/cbmc/proofs/skipEscape/skipEscape_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/skipNumber/skipNumber_harness.c b/test/cbmc/proofs/skipNumber/skipNumber_harness.c index 0a5936d0..7bc4ddaf 100644 --- a/test/cbmc/proofs/skipNumber/skipNumber_harness.c +++ b/test/cbmc/proofs/skipNumber/skipNumber_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/skipSpace/skipSpace_harness.c b/test/cbmc/proofs/skipSpace/skipSpace_harness.c index 19a5e335..41bfa4dc 100644 --- a/test/cbmc/proofs/skipSpace/skipSpace_harness.c +++ b/test/cbmc/proofs/skipSpace/skipSpace_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/skipSpaceAndComma/skipSpaceAndComma_harness.c b/test/cbmc/proofs/skipSpaceAndComma/skipSpaceAndComma_harness.c index f483ccbd..cd4e2c9f 100644 --- a/test/cbmc/proofs/skipSpaceAndComma/skipSpaceAndComma_harness.c +++ b/test/cbmc/proofs/skipSpaceAndComma/skipSpaceAndComma_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/skipString/skipString_harness.c b/test/cbmc/proofs/skipString/skipString_harness.c index c8b7e112..92250139 100644 --- a/test/cbmc/proofs/skipString/skipString_harness.c +++ b/test/cbmc/proofs/skipString/skipString_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c b/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c index 3c0f9ba2..c4b2aa95 100644 --- a/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c +++ b/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipAnyLiteral.c b/test/cbmc/stubs/skipAnyLiteral.c index 2e5366e9..351ce4b9 100644 --- a/test/cbmc/stubs/skipAnyLiteral.c +++ b/test/cbmc/stubs/skipAnyLiteral.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipAnyScalar.c b/test/cbmc/stubs/skipAnyScalar.c index 18df2a2a..26ec6a05 100644 --- a/test/cbmc/stubs/skipAnyScalar.c +++ b/test/cbmc/stubs/skipAnyScalar.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipCollection.c b/test/cbmc/stubs/skipCollection.c index 6b283cef..b3d42f27 100644 --- a/test/cbmc/stubs/skipCollection.c +++ b/test/cbmc/stubs/skipCollection.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipEscape.c b/test/cbmc/stubs/skipEscape.c index 936ee435..c47defee 100644 --- a/test/cbmc/stubs/skipEscape.c +++ b/test/cbmc/stubs/skipEscape.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipGeneric.c b/test/cbmc/stubs/skipGeneric.c index d7bbe4ec..6b08048a 100644 --- a/test/cbmc/stubs/skipGeneric.c +++ b/test/cbmc/stubs/skipGeneric.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipNumber.c b/test/cbmc/stubs/skipNumber.c index 2c615409..3b06e44e 100644 --- a/test/cbmc/stubs/skipNumber.c +++ b/test/cbmc/stubs/skipNumber.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipSpace.c b/test/cbmc/stubs/skipSpace.c index cbfa1ac9..89ec150b 100644 --- a/test/cbmc/stubs/skipSpace.c +++ b/test/cbmc/stubs/skipSpace.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipSpaceAndComma.c b/test/cbmc/stubs/skipSpaceAndComma.c index a1869612..e12b1649 100644 --- a/test/cbmc/stubs/skipSpaceAndComma.c +++ b/test/cbmc/stubs/skipSpaceAndComma.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipString.c b/test/cbmc/stubs/skipString.c index 1ae7bfda..9ad76c87 100644 --- a/test/cbmc/stubs/skipString.c +++ b/test/cbmc/stubs/skipString.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/skipUTF8.c b/test/cbmc/stubs/skipUTF8.c index b91ef717..8b0e04c8 100644 --- a/test/cbmc/stubs/skipUTF8.c +++ b/test/cbmc/stubs/skipUTF8.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/core_json_utest.c b/test/unit-test/core_json_utest.c index 6ef3187f..dae37795 100644 --- a/test/unit-test/core_json_utest.c +++ b/test/unit-test/core_json_utest.c @@ -1,5 +1,5 @@ /* - * coreJSON V1.0.0 + * coreJSON v1.0.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of