search

tracer-x / TracerX

TracerX Symbolic Virtual Machine
https://tracer-x.github.io/
Other
31 stars 11 forks source link

Skip checking global for void type #366

Closed xuanlinhha closed 4 years ago

xuanlinhha commented 4 years ago

@rasoolmaghareh I made a fix in checking global values in case it is of void type. Can you check and merge to master, thank you?

rasoolmaghareh commented 4 years ago

@xuanlinhha: It appears the second commit is related to timid and not the void type. May I ask if this is correct?

xuanlinhha commented 4 years ago

Yes, the second commit is after we found when testing timid, so I decided to commit to this branch too.