diff options
Diffstat (limited to 'FreeRTOS/Test/VeriFast/queue/prvIsQueueEmpty.c')
| -rw-r--r-- | FreeRTOS/Test/VeriFast/queue/prvIsQueueEmpty.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/FreeRTOS/Test/VeriFast/queue/prvIsQueueEmpty.c b/FreeRTOS/Test/VeriFast/queue/prvIsQueueEmpty.c index 7caea7ccb..ab2cf8a46 100644 --- a/FreeRTOS/Test/VeriFast/queue/prvIsQueueEmpty.c +++ b/FreeRTOS/Test/VeriFast/queue/prvIsQueueEmpty.c @@ -1,6 +1,6 @@ /* * FreeRTOS V202012.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 @@ -18,6 +18,10 @@ * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. + * + * https://www.FreeRTOS.org + * https://github.com/FreeRTOS + * */ #include "proof/queue.h" |