code: func main() {
  	flag.Parse()
  
  	specfname, e := getSpecFileName("compliance.prop")
  	if e != nil {
  		log.Println("error -", e)
  	}
  	rmspec, e1 := readCommandsFromSpecFile(specfname)
  	if e1 != nil {
  		log.Println("error -", e1)
  		return
  	}
  
  	var rctype clientType
  
  	fmt.Println()
  	fmt.Println("/////////////////////////////////////")
  	fmt.Println("///  Go-Redis client compliance   ///")
  	fmt.Println("/////////////////////////////////////\n")
  
  	rctype = sync
  	analyzeAndReport(rctype, rmspec)
  
  	rctype = async
  	analyzeAndReport(rctype, rmspec)
  }
docs: // Checks Redis client interfaces' methods against a
  // a list of canonical Redis methods obtained from a
  // spec file and reports the missing methods