Easier random-checking of supported configurations