Remove boilerplate comments from proof harness sources.

rod-chapman · hanno-becker · commit a5b999ededcd · 2025-01-02T13:36:46.000Z
Signed-off-by: Rod Chapman &lt;rodchap@amazon.com&gt;
diff --git a/cbmc/invntt_layer321/invntt_layer321_harness.c b/cbmc/invntt_layer321/invntt_layer321_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file invntt_layer321_harness.c
- * @brief Implements the proof harness for invntt_layer321 function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void invntt_layer321(int16_t *r);
 
diff --git a/cbmc/invntt_layer54/invntt_layer54_harness.c b/cbmc/invntt_layer54/invntt_layer54_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file invntt_layer54_harness.c
- * @brief Implements the proof harness for invntt_layer54 function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void invntt_layer54(int16_t *r);
 
diff --git a/cbmc/invntt_layer54_butterfly/invntt_layer54_butterfly_harness.c b/cbmc/invntt_layer54_butterfly/invntt_layer54_butterfly_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file invntt_layer54_butterfly_harness.c
- * @brief Implements the proof harness for invntt_layer54_butterfly function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void invntt_layer54_butterfly(int16_t *r, int zeta_index, int start);
 
diff --git a/cbmc/invntt_layer6/invntt_layer6_harness.c b/cbmc/invntt_layer6/invntt_layer6_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file invntt_layer6_harness.c
- * @brief Implements the proof harness for invntt_layer6 function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void invntt_layer6(int16_t *r);
 
diff --git a/cbmc/invntt_layer6_butterfly/invntt_layer6_butterfly_harness.c b/cbmc/invntt_layer6_butterfly/invntt_layer6_butterfly_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file invntt_layer6_butterfly_harness.c
- * @brief Implements the proof harness for invntt_layer6_butterfly function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void invntt_layer6_butterfly(int16_t *r, int zeta_index, int start);
 
diff --git a/cbmc/invntt_layer7_invert/invntt_layer7_invert_harness.c b/cbmc/invntt_layer7_invert/invntt_layer7_invert_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file invntt_layer7_invert_harness.c
- * @brief Implements the proof harness for invntt_layer7_invert function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void invntt_layer7_invert(int16_t *r);
 
diff --git a/cbmc/invntt_layer7_invert_butterfly/invntt_layer7_invert_butterfly_harness.c b/cbmc/invntt_layer7_invert_butterfly/invntt_layer7_invert_butterfly_harness.c
@@ -2,21 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file invntt_layer7_invert_butterfly_harness.c
- * @brief Implements the proof harness for invntt_layer7_invert_butterfly
- * function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void invntt_layer7_invert_butterfly(int16_t *r, int zeta_index, int start);
 
diff --git a/cbmc/ntt_layer123/ntt_layer123_harness.c b/cbmc/ntt_layer123/ntt_layer123_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file ntt_layer123_harness.c
- * @brief Implements the proof harness for ntt_layer123 function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void ntt_layer123(int16_t *r);
 
diff --git a/cbmc/ntt_layer45/ntt_layer45_harness.c b/cbmc/ntt_layer45/ntt_layer45_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file ntt_layer45_harness.c
- * @brief Implements the proof harness for ntt_layer45 function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void ntt_layer45(int16_t *r);
 
diff --git a/cbmc/ntt_layer45_butterfly/ntt_layer45_butterfly_harness.c b/cbmc/ntt_layer45_butterfly/ntt_layer45_butterfly_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file ntt_layer45_butterfly_harness.c
- * @brief Implements the proof harness for ntt_layer45_butterfly function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void ntt_layer45_butterfly(int16_t *r, int zeta_subtree_index, int start);
 
diff --git a/cbmc/ntt_layer6/ntt_layer6_harness.c b/cbmc/ntt_layer6/ntt_layer6_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file ntt_layer6_harness.c
- * @brief Implements the proof harness for ntt_layer6 function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void ntt_layer6(int16_t *r);
 
diff --git a/cbmc/ntt_layer6_butterfly/ntt_layer6_butterfly_harness.c b/cbmc/ntt_layer6_butterfly/ntt_layer6_butterfly_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file ntt_layer6_butterfly_harness.c
- * @brief Implements the proof harness for ntt_layer6_butterfly function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void ntt_layer6_butterfly(int16_t *r, int zeta_subtree_index, int start);
 
diff --git a/cbmc/ntt_layer7/ntt_layer7_harness.c b/cbmc/ntt_layer7/ntt_layer7_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file ntt_layer7_harness.c
- * @brief Implements the proof harness for ntt_layer7 function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void ntt_layer7(int16_t *r);
 
diff --git a/cbmc/ntt_layer7_butterfly/ntt_layer7_butterfly_harness.c b/cbmc/ntt_layer7_butterfly/ntt_layer7_butterfly_harness.c
@@ -2,20 +2,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: MIT-0
 
-/*
- * Insert copyright notice
- */
-
-/**
- * @file ntt_layer7_butterfly_harness.c
- * @brief Implements the proof harness for ntt_layer7_butterfly function.
- */
-
-/*
- * Insert project header files that
- *   - include the declaration of the function
- *   - include the types needed to declare function arguments
- */
 #include <ntt.h>
 void ntt_layer7_butterfly(int16_t *r, int zetaindex, int start);
 
