Opened 5 years ago

Closed 5 years ago

#50 closed defect (fixed)

Comparison of pointers in usermeta is incorrect.

Reported by: mornfall Owned by: mornfall
Priority: major Milestone: 4.3
Component: VM Keywords:


Marked pointers are not extracted into SMT queries and normal pointers do not participate in the structural comparison.

Change History (1)

comment:1 Changed 5 years ago by mornfall

Resolution: fixed
Status: newclosed

Should be fixed now.

Note: See TracTickets for help on using tickets.