tree 6fc79ed947f3580203b9d6a4c0c732f269bfd116
parent 8f06f8ed3cf18cc00183678ed6787ca41a6eef45
author Uri Shaked <uri@urishaked.com> 1669731629 +0200
committer Uri Shaked <uri@urishaked.com> 1670104810 +0200

chore: spell hardening config

we also define a blackbox model for user_project_wrapper hardening

spell hardens, but user_project_wrapper fails with LVS errors.