icd3/eecs341-project — comment on commit 15c37ef18cfe925d14d89207b1d4d6543ad97d66
File:  line 0
By icd3:

Do you mean that this should check that which it currently doesn't, or that it currently checks that?