search

mr-ma / sip-eval

1 stars 0 forks source link

number_sc_oh_protected_inst should count implicitly protected sc checkees #14

Closed mr-ma closed 6 years ago