Auxiliary script which runs a RQG test within a loop and checks if some assigned bad effect occurs.
This script is technically very similar to util/simplify-
The main difference is that we do not run any grammar modification.
Purpose:
a) Show if a different MySQL version m suffers from the same bad effect
Have a bug found in MySQL version n.
Run this script with proper configuration against a different MySQL version m
We stop the loop if we
- replayed the expected bad effect or
- the number of trials was reached
b) Brute force bug hunt based on one RQG grammar and variation of the seed value
Run $trial loop rounds with incremented seed value
Delete all results where we have not reached the expected bad effect.
typical configuration: @desired_
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- High
- Drafter:
- None
- Direction:
- Needs approval
- Assignee:
- Bernt M Johnsen
- Definition:
- New
- Series goal:
- None
- Implementation:
- Implemented
- Milestone target:
- None
- Started by
- Bernt M Johnsen
- Completed by
- Bernt M Johnsen