| commit | 8af20c8dbfc25f97df090745eea052d6b6f0bc22 | [log] [tgz] |
|---|---|---|
| author | Nicholas Chum <nicholaschum@gmail.com> | Thu Jan 14 02:48:30 2016 -0500 |
| committer | Nicholas Chum <nicholaschum@gmail.com> | Thu Jan 14 02:48:30 2016 -0500 |
| tree | e2ed20758ae506234d0626743150859ea1c72448 | |
| parent | 18f622ccab3933be67443bc20da0c0ad196ba114 [diff] |
Add an initial switch for device model checker