Issue1022

Title pattern collection generators: support commonly used options in all generators
Priority feature Status unread
Superseder Nosy List florian, jendrik, malte, silvan, thomas
Assigned To Keywords
Optional summary

Created on 2021-06-25.08:55:27 by silvan, last changed by thomas.

Messages
msg10322 (view) Author: silvan Date: 2021-06-25.08:55:27
Many pattern collection generators use options like max_pdb_size, max_collection_size and max_time. We should move them to the base class and support them in all pattern collection generators.
History
Date User Action Args
2021-06-25 10:02:45thomassetnosy: + thomas
2021-06-25 08:55:27silvancreate