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

Already on GitHub? Sign in to your account

Expand complex predicates into simpler conditional, then mutate #16

Open
dkubb opened this Issue Jan 21, 2013 · 1 comment

Comments

Projects
None yet
2 participants
Collaborator

dkubb commented Jan 21, 2013

One thing I've found when specifying compound statements like foo <= bar is that to test it properly, I need to expand it into foo < bar || foo == bar, then mutate that statement. Simply changing the sign does not expose all possible mutations.

It would be nice for mutant to expand those statements first, then mutate the expanded expression.

Owner

mbj commented Jan 21, 2013

I like this mutation. We could first emit the mutation from: foo <= bar to foo < bar || foo == bar as neutral mutation, and then the mutations of the expansion as evil ones.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment