Add test using 'simulator' as a variable name#412

Eric-Vin merged 1 commit intoBerkeleyLearnVerify:mainBerkeleyLearnVerify/Scenic:mainfrom

lola831:test-simulator-varlola831/Scenic:test-simulator-varCopy head branch name to clipboard