tree 8e433230c07164543db1b30b64b30be0075f99a8
parent 5549f9966791e9518859c9fc933cdf6d339e356b
author Henry Suryawirawan <hsuryawirawan@google.com> 1579533048 +0800
committer Henry Suryawirawan <hsuryawirawan@google.com> 1579533048 +0800

Change "Built-in IOs" task type to "theory"