Skip check for unsoundness in shared pointer handling (java only)#2354

Merged

cesaro merged 1 commit intodiffblue:developfrom

Degiorgio:disable-soundness-check-for-shared-pointers

Jun 15, 2018

Commits on Jun 15, 2018

Skip check for unsoundness in shared pointer handling (java only)
Degiorgio
committed