diff options
| author | Darren Wihandi <65404740+fairywreath@users.noreply.github.com> | 2025-01-28 21:24:35 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-29 02:24:35 +0000 |
| commit | cf66563cfdcff9b7d76017e5b73319705ccdb735 (patch) | |
| tree | 41c8a5d3706a912049a8c491fd2e7d593d4aa450 /tests/language-feature/capability/capabilitySimplification1.slang | |
| parent | 1f99c2086cab3a259c786373ba8d5608e0e1f430 (diff) | |
Fix exact-match witness synthesis for static functions (#6204)
* fix non-static methods when trying to synthesize method requirement witness
* add tests
* update test
* improve test
---------
Co-authored-by: Yong He <yonghe@outlook.com>
Diffstat (limited to 'tests/language-feature/capability/capabilitySimplification1.slang')
0 files changed, 0 insertions, 0 deletions