We should apply a refactoring to the generator to use a table with possibilities instead of random.bool. Specifically, this table should include all supported features. We need that functionality for the following reasons.
For disabling features that a language cannot support in a fine-grained way.
For adding the ability for swarm testing.
It will be helpful for evaluation.
To minimise the effort of implementing a new language to (1) implementing a translator, (2) specifying this table for the new language, (3) specifying built-in types.
We should apply a refactoring to the generator to use a table with possibilities instead of
random.bool. Specifically, this table should include all supported features. We need that functionality for the following reasons.