08/04/20 18:13:00
>>863
で、その宣言されていない変数を使っても、仕様通りの結果が得られるわけか？
C0を満たすというのはそういう意味なのだが。
>>864
仕様で求められている結果が得られるかどうか。つまり、>>848の例でいえば、
仕様は「2を印字する」であるはずだから、>>848のコードは仕様を満たさず、
テストでエラーとして検出される。
08/04/20 18:13:00
>>863
で、その宣言されていない変数を使っても、仕様通りの結果が得られるわけか？
C0を満たすというのはそういう意味なのだが。
>>864
仕様で求められている結果が得られるかどうか。つまり、>>848の例でいえば、
仕様は「2を印字する」であるはずだから、>>848のコードは仕様を満たさず、
テストでエラーとして検出される。