ChrisTimperley / RepairChain

AIxCC: automated vulnerability repair via LLMs, search, and static analysis
Apache License 2.0
3 stars 0 forks source link

dd_min and dd_max should return identity if number of components is one #60

Closed ChrisTimperley closed 2 months ago

ChrisTimperley commented 2 months ago

This actually is slightly less straightforward than it seems. Specifically, returning identity assumes that the desired property holds on the input, which may not be true.