tree c23122a1a2d3aea322d5d21846915ad38be327e7
parent 86584398a4d44e438ae47710241fb92cc3af3d3b
author Shaked Flur <sflur@google.com> 1654684634 +0100
committer Shaked Flur <sflur@google.com> 1654785020 +0100

Add an option to build vec tests for TBM.

Testing many AVL values results in traces that are too long for TBM.
Hence, use only one value.

Change-Id: Id16899129e982b991d9585f27ab342659ce76b4b