Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CPP ignore unsupported functions #112

Merged
merged 2 commits into from
Jun 21, 2023
Merged

CPP ignore unsupported functions #112

merged 2 commits into from
Jun 21, 2023

Conversation

ladisgin
Copy link
Member

@ladisgin ladisgin commented Mar 9, 2022

No description provided.

@ladisgin ladisgin added the cpp-syntax Related to generation tests for C++ label Mar 9, 2022
@ladisgin ladisgin linked an issue Mar 9, 2022 that may be closed by this pull request
Mark unsupported function in CPP programs #101
Closed
@ladisgin ladisgin changed the title CPP ignore unsupported functions [draft] CPP ignore unsupported functions Mar 17, 2022
@ladisgin ladisgin force-pushed the cpp_general branch 2 times, most recently from f308aee to 936b499 Compare April 15, 2022 08:42
@ladisgin ladisgin changed the title [draft] CPP ignore unsupported functions CPP ignore unsupported functions Apr 15, 2022
@ladisgin ladisgin requested a review from sava-cska April 15, 2022 09:20
@ladisgin ladisgin marked this pull request as ready for review April 15, 2022 20:06
operasfantom
operasfantom requested changes Apr 18, 2022
View reviewed changes
Copy link
Collaborator

@operasfantom operasfantom left a comment

Choose a reason for hiding this comment

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

Overall, changes are good but perhaps more tests are needed

server/src/FeaturesFilter.cpp Outdated Show resolved Hide resolved
server/src/FeaturesFilter.cpp Outdated Show resolved Hide resolved
server/src/Paths.cpp Outdated Show resolved Hide resolved
server/src/Tests.h Outdated Show resolved Hide resolved
server/src/building/IRParser.cpp Outdated Show resolved Hide resolved
server/src/fetchers/FetcherUtils.cpp Outdated Show resolved Hide resolved
server/src/printers/KleePrinter.cpp Outdated Show resolved Hide resolved
server/src/stubs/StubSourcesFinder.cpp Show resolved Hide resolved
server/src/types/TypesResolver.cpp Outdated Show resolved Hide resolved
server/src/types/TypesResolver.cpp Outdated Show resolved Hide resolved
@ladisgin ladisgin marked this pull request as draft April 25, 2022 09:03
@ladisgin ladisgin closed this Jun 10, 2022
@ladisgin ladisgin deleted the cpp_general branch June 10, 2022 14:25
@ladisgin ladisgin restored the cpp_general branch June 10, 2022 14:29
@ladisgin ladisgin reopened this Jun 10, 2022
@ladisgin ladisgin force-pushed the cpp_general branch 2 times, most recently from 97a1644 to 704c0fc Compare April 25, 2023 12:52
@ladisgin ladisgin marked this pull request as ready for review May 4, 2023 09:56
@ladisgin ladisgin requested a review from operasfantom June 8, 2023 08:24
operasfantom
operasfantom approved these changes Jun 9, 2023
View reviewed changes
Copy link
Collaborator

@operasfantom operasfantom left a comment

Choose a reason for hiding this comment

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

LGTM

sava-cska
sava-cska requested changes Jun 19, 2023
View reviewed changes
server/src/Tests.cpp Outdated Show resolved Hide resolved
server/src/coverage/TestRunner.cpp Outdated Show resolved Hide resolved
@ladisgin ladisgin requested a review from sava-cska June 19, 2023 13:31
@ladisgin ladisgin merged commit ad1c9b3 into main Jun 21, 2023
@ladisgin ladisgin deleted the cpp_general branch June 21, 2023 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sava-cska sava-cska sava-cska approved these changes

@operasfantom operasfantom operasfantom approved these changes

Assignees
No one assigned
Labels
cpp-syntax Related to generation tests for C++
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Mark unsupported function in CPP programs
3 participants
@ladisgin @operasfantom @sava-cska