Added some getter functions in harness and added spec file#9

Open

himanshu-Bhatt wants to merge 1 commit intoCertora:certorafrom himanshu-Bhatt:certora

+3,057-41

Commits on Sep 5, 2022

Added some getter functions in harness and added spec file
himanshu-Bhatt
committed