|
|
|
|
|
|
by bennofs
760 days ago
|
|
|
My argument is that you typically also check other properties, like properties describing what your program should do. These other properties likely wouldn't be satisfied by a nop program, and hopefully the same is true for many subtle issues. |
|
|