Update nfc-tag-toggle.groovy
authorRahmadi Trimananda <rahmadi.trimananda@uci.edu>
Fri, 26 Jul 2019 17:57:54 +0000 (10:57 -0700)
committerGitHub Enterprise <noreply@github.uci.edu>
Fri, 26 Jul 2019 17:57:54 +0000 (10:57 -0700)
commit1f675d721607f0f2c3fd4d21dbf1432eb11729da
treea4ec704ec29e7d3855e3144d998786495c1adb3a
parente7792d6babad01e22c8fc082413ea600adc6e980
Update nfc-tag-toggle.groovy

Code modifications to accommodate our model-checking infrastructure.
official/nfc-tag-toggle.groovy