diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-09-06 11:46:07 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-09-06 11:46:07 +0200 |
commit | e1743b3bac8c86f3cf857892dabf66bec5573a7a (patch) | |
tree | 9057917583685acda482c22430b5b1059ed9b126 /frontends/verific/build_amd64.txt | |
parent | f5a40e70431bc09072ca79c22c356ec0c0c9bb8b (diff) |
Added "test_cell -script"
Diffstat (limited to 'frontends/verific/build_amd64.txt')
0 files changed, 0 insertions, 0 deletions