Rename internal variable

aws · Feb 27, 2024 · 4c32e9b · 4c32e9b
1 parent a34bbb2
commit 4c32e9b
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/source/include/sigv4_internal.h b/source/include/sigv4_internal.h
@@ -155,12 +155,12 @@
  */
 typedef struct SigV4DateTime
 {
-    int32_t datetimeYear; /**< Year (1900 or later) */
-    int32_t datetimeMon;  /**< Month (1 to 12) */
-    int32_t datetimeMday; /**< Day of Month (1 to 28/29/30/31) */
-    int32_t datetimeHour; /**< Hour (0 to 23) */
-    int32_t datetimeMin;  /**< Minutes (0 to 59) */
-    int32_t datetimeSec;  /**< Seconds (0 to 60) */
+    int32_t year; /**< Year (1900 or later) */
+    int32_t mon;  /**< Month (1 to 12) */
+    int32_t mday; /**< Day of Month (1 to 28/29/30/31) */
+    int32_t hour; /**< Hour (0 to 23) */
+    int32_t min;  /**< Minutes (0 to 59) */
+    int32_t sec;  /**< Seconds (0 to 60) */
 } SigV4DateTime_t;
 
 /**

diff --git a/test/cbmc/stubs/sigv4_stubs.c b/test/cbmc/stubs/sigv4_stubs.c
@@ -99,27 +99,27 @@ void addToDate( const char formatChar,
     switch( formatChar )
     {
         case 'Y':
-            pDateElements->datetimeYear = result;
+            pDateElements->year = result;
             break;
 
         case 'M':
-            pDateElements->datetimeMon = result;
+            pDateElements->mon = result;
             break;
 
         case 'D':
-            pDateElements->datetimeMday = result;
+            pDateElements->mday = result;
             break;
 
         case 'h':
-            pDateElements->datetimeHour = result;
+            pDateElements->hour = result;
             break;
 
         case 'm':
-            pDateElements->datetimeMin = result;
+            pDateElements->min = result;
             break;
 
         case 's':
-            pDateElements->datetimeSec = result;
+            pDateElements->sec = result;
             break;
 
         default: