This is a script to measure time and memory usage. It also shows the size of generated test suites.
These are saved to a file. This can be used for regression testing.
This doesn't ask what happens when other features are used, such as disallowing some inputs, using multiple levels of inputs, or seeding the inputs. Those should be added.
This is a script to measure time and memory usage. It also shows the size of generated test suites. These are saved to a file. This can be used for regression testing. This doesn't ask what happens when other features are used, such as disallowing some inputs, using multiple levels of inputs, or seeding the inputs. Those should be added.