Skip to content
Commit 120b93e1 authored by Nuno Lopes's avatar Nuno Lopes
Browse files

fix test so it doesn't use nonnull assumes on non-pointers 

The IR verifier should probably catch this. Alive2 did, though.
parent 813f0083
Hide whitespace changes
Inline Side-by-side
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