Unit-test try_evaluate_pointer_comparison and bugfix - #4774

Merged

tautschnig merged 7 commits into

diffblue:developfrom

romainbrenguier:unit-test/try-evaluate-pointer-comparison

Jun 14, 2019

Commits on Jun 11, 2019

Commits on Jun 12, 2019

Add case to try_evaluate_pointer_comparisons test
romainbrenguier
committed
7272dfb
Add case for evaluate pointer comparison with null
romainbrenguier
committed
c024823
Test try_evaluate_pointer_comparisons unknown case
romainbrenguier
committed
767d8f0