除了逐例比對日期,另有一條測試直接驗「所有先決關係都滿足」這個不變式, 而不是只比對硬編的日期字串——不變式壞掉時它會指出是哪一對。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
除了逐例比對日期,另有一條測試直接驗「所有先決關係都滿足」這個不變式, 而不是只比對硬編的日期字串——不變式壞掉時它會指出是哪一對。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>