發送短信 : Specifications Framework for Tests in an Outcome-based Language Program

  ____      _____    _    _     ______  __    __  
 |  _ \\   |  ___|| | |  | ||  /_   _// \ \\ / // 
 | |_| ||  | ||__   | |/\| ||   -| ||-   \ \/ //  
 | .  //   | ||__   |  /\  ||   _| ||_    \  //   
 |_|\_\\   |_____|| |_// \_||  /_____//    \//    
 `-` --`   `-----`  `-`   `-`  `-----`      `