aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/call-casted-pointer.c
AgeCommit message (Expand)AuthorFilesLines
2017-12-21fix linearize (*fun)()Luc Van Oostenryck1-1/+0
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck1-0/+32