wala / ML

Eclipse Public License 2.0
25 stars 17 forks source link

Ensure that the function under test exists #197

Open khatchad opened 3 months ago

khatchad commented 3 months ago

Ensure that the function under test exists in the call graph. Otherwise, we could test a function that doesn't exist and the test will still pass.

khatchad commented 3 months ago

Sorry, I'll fix the errors now.

khatchad commented 3 months ago

Ah, looks like I need to add more changes from our fork to get to this to work. I'll turn it into a draft PR for now.