Skip to content

Fix loop unrolling and support array inputs#12

Merged
lsk567 merged 5 commits intomainfrom
fix-back-edge-removal-sinks
Feb 9, 2026
Merged

Fix loop unrolling and support array inputs#12
lsk567 merged 5 commits intomainfrom
fix-back-edge-removal-sinks

Conversation

@lsk567
Copy link
Contributor

@lsk567 lsk567 commented Feb 9, 2026

This PR:

  • fixes loop unrolling by connecting back-edge-removed node to the right downstream node,
  • supports an input array of basic C types by properly parsing KLEE's worst-case values into C integer expressions based on the host platform's endianness.

@lsk567 lsk567 merged commit cba0af4 into main Feb 9, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant