Skip to content

Conversation

@htibosch
Copy link
Contributor

Description

This ia a resubmit of my earlier PR #148, which I will close.

Beside the check for the frametype in xNetworkInterfaceOutput(), it will call vPrintResourceStats() from FreeRTOS_IP.c, in stead of a local function prvMonitorResources(), which I removed.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@@ -1,5 +1,5 @@
/*
* FreeRTOS V202002.00
* FreeRTOS V202007.00
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we should make all the changes at once. I believe that this is not the only instance where the version number is old.
Should we drop this change?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I just "undid" the version change:

- * FreeRTOS V202002.00
+ * FreeRTOS V202007.00

It is probably better to update all version numbers in a single PR.

@AniruddhaKanhere
Copy link
Member

/bot run checks

@htibosch
Copy link
Contributor Author

Does anyone know why it says that merging is blocked?

@AniruddhaKanhere
Copy link
Member

Does anyone know why it says that merging is blocked?

It seems the CBMC checks have failed to report back to github. I am looking into it.

@AniruddhaKanhere
Copy link
Member

/bot run checks

1 similar comment
@nateglims
Copy link

/bot run checks

@AniruddhaKanhere
Copy link
Member

@htibosch, the branch from which this PR was created seems to have disappeared. Due to this the CI cannot fetch the code and hence all the CBMC checks are failing.

@htibosch
Copy link
Contributor Author

I am closing this PR because the branch got lost. The new PR is #304
Hein

@htibosch htibosch closed this Sep 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants