Add quick-and-dirty specify tests
authorEddie Hung <eddie@fpgeh.com>
Fri, 3 May 2019 22:35:26 +0000 (15:35 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 3 May 2019 22:35:26 +0000 (15:35 -0700)
commit09841c2ac1f36d06faada27093a2cf0cdfb6cb42
treed32f3475fba92e1f529e1117680c651aff0eba36
parentd9c4644e88b916d1eadfd401abf297c0995b6462
Add quick-and-dirty specify tests
tests/various/specify.v [new file with mode: 0644]
tests/various/specify.ys [new file with mode: 0644]