On 20/12/2024 16:26, Andrew Carlotti wrote: > Add tests for this, and update the existing fvdotb and fvdott tests to > include the VGx4 symbol so that they continue to test for the intended > errors. > > > Ok for master? > OK R.