manticore: added sanity tests for manticore driver#4320

sidchintamaneni wants to merge 1 commit into

microsoft:mainmicrosoft/lisa:mainfrom

sidchintamaneni:siddharthc/manticore-testssidchintamaneni/lisa:siddharthc/manticore-testsCopy head branch name to clipboard