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.

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

Request for addition of mutation for relational operators in Gambit tool #18

Open
Sta1400 opened this issue Apr 13, 2023 · 2 comments
Open

Comments

@Sta1400
Copy link
Collaborator

Sta1400 commented Apr 13, 2023

As a user of the Gambit tool, I would like to suggest the addition of a mutation for relational operators, such as "<", ">", "<=", ">=", and "!=".

Currently, the Gambit tool offers a variety of mutations, including binary-operator-mutation and unary-operator-mutation, which can be used to mutate arithmetic and bitwise operators. However, there is no mutation available specifically for relational operators.

I believe that adding a mutation for relational operators would improve the effectiveness of mutation testing for Solidity code. Relational operators are frequently used in Solidity contracts to compare values, and introducing subtle changes to these operators can reveal hidden bugs and vulnerabilities in the code.

I understand that adding a new mutation can be time-consuming and requires careful consideration. However, I believe that this addition would greatly benefit the Solidity developer community and encourage more rigorous testing practices.

Thank you for your attention to this matter.

@BenTheKush
Copy link
Contributor

I don't have this yet but it's going to happen soon!

@BenTheKush
Copy link
Contributor

Just an update, these are in a PR that should be merged soonish...I'm stuck waiting on another PR in another tool to go through (it's taking forever...)

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

No branches or pull requests

2 participants