commit | f0aa7e8408106ad6d1d2050f13b68d7255171bdb | [log] [tgz] |
---|---|---|
author | Todd Wang <toddw@google.com> | Wed May 04 23:00:52 2016 -0700 |
committer | Todd Wang <toddw@google.com> | Wed May 04 23:00:52 2016 -0700 |
tree | ffea840c47cad950f85fc54db109d79e96738a07 | |
parent | 86a479b804a8a8e404a8ced3cb90a0dba374c9a5 [diff] |
vdltest: Update the randomly-generated types and values. This updates the pruning heuristics so that we end up with a better variety of types and values, while still compiling within a reasonable time. By reasonable I mean ~20 seconds. Change-Id: I5b6c4a50a1e4856839730f1725ef6f44ca681763
This repository defines the Go APIs of Vanadium.