The software has been slightly changed so that it also supports the streamers-on-spec_trigger-distribution testbench.
Now, both wrc_core and streamers-on-spec_trigger-distribution testbenches are supported.