3 Commits

Author	SHA1	Message	Date
Random-Liu	f9b50f0949	Update bazel.	2016-11-03 20:38:29 -07:00
Random-Liu	b76b2f218b	Add unit test for system verification	2016-11-03 20:38:28 -07:00
Random-Liu	a5fdf3850c	Add system verification.	2016-11-03 20:37:18 -07:00