mangle
mangle copied to clipboard
Add test case for issue #25: duplicate declarations should report error
- Test includes two declarations of the same predicate foo/3
- Expected behavior: analysis should report error for duplicate declarations
Addresses: https://github.com/google/mangle/issues/25