Skip to content
GitLab
Unverified Commit cbacab26 authored by Florian Hahn's avatar Florian Hahn
Browse files

[ConstraintElim] Add extra tests and split up test file. 

Extra tests for D152730, including more tests where the step GEP doesn't
use the phi and inbounds are missing.

Also split up test file to make it easier to verify for Alive2.
parent 0d8d7181
Expand all Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment