Opened 10 months ago

Closed 4 months 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:
Cc:

Description

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

Change History (1)

comment:1 Changed 4 months ago by mornfall

Resolution: fixed
Status: newclosed

Should be fixed now.

Note: See TracTickets for help on using tickets.