diff options
Diffstat (limited to 'FreeRTOS/Test/VeriFast/queue/prvIsQueueFull.c')
-rw-r--r-- | FreeRTOS/Test/VeriFast/queue/prvIsQueueFull.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/FreeRTOS/Test/VeriFast/queue/prvIsQueueFull.c b/FreeRTOS/Test/VeriFast/queue/prvIsQueueFull.c index 200fe8ee9..ec2b84128 100644 --- a/FreeRTOS/Test/VeriFast/queue/prvIsQueueFull.c +++ b/FreeRTOS/Test/VeriFast/queue/prvIsQueueFull.c @@ -1,6 +1,6 @@ /* * FreeRTOS V202112.00 - * Copyright (C) Amazon.com, Inc. or its affiliates. All Rights Reserved. + * 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 * this software and associated documentation files (the "Software"), to deal in @@ -24,6 +24,8 @@ * */ +/* *INDENT-OFF* */ + #include "proof/queue.h" #define taskENTER_CRITICAL() setInterruptMask( pxQueue ) #define taskEXIT_CRITICAL() clearInterruptMask( pxQueue ) @@ -51,3 +53,5 @@ static BaseType_t prvIsQueueFull( const Queue_t * pxQueue ) return xReturn; } + +/* *INDENT-ON* */ |