100644 blob 37824f1e0750322bb4790c3494441e8994af74a5	Makefile
100644 blob 92ed5da415b9eb2de98e346134ba3ee14a1984ee	README.md
100644 blob 5582f72739bb39b2f95f7d17d4fc280d96039f53	run_regression.py
100644 blob f08ac6925bc9419c6f8b6554d459fd16ffeeeee8	run_sc_regression.py
100644 blob 87ef89ae693ed0d8e12e52c11e03925b1e72e65e	run_switch_checking.py
040000 tree bcdd6516d27ca0509ee737f9b55de23566489505	sc_testcases
040000 tree 3d79e5c129fc2e9a20ad79d68f4119e556dcf081	switch_checking
040000 tree 6398e9e8b1cdaf13b2ca3bef8555e5494c029fe0	testcases