Symbol List check pass: allow caller to specify the valid types of variables in a Symbol List

Houtan Bastani created pipeline for commit 54f73e08

Dec 23, 2019, finished Dec 23, 2019

2 minutes 26 seconds, queued for 2 seconds