search

plum-umd / c-strider

C-Strider: Type-Aware Heap Traversal for C
https://www.cs.umd.edu/~mwh/papers/saur15strider.html
Other
6 stars 2 forks source link

Testing #4

Open ksaur opened 9 years ago

ksaur commented 9 years ago

write tests using the type_hashtbl function calls. The examples use them, but formal tests would be nice...