func main()

in SAW/proof/HMAC/HMAC-check-entrypoint.go [14:27]

• 10 lines of code
• 2 McCabe index (conditional complexity)

func main() {
	log.Printf("Started HMAC check.")
	// When 'HMAC_SELECTCHECK' is undefined, quickcheck is executed.
	env_var := os.Getenv("HMAC_SELECTCHECK")
	if len(env_var) == 0 {
		utility.RunSawScript("verify-HMAC-SHA384-quickcheck.saw")
		return
	}

	// When 'HMAC_SELECTCHECK' is defined, selectcheck is executed.
	utility.RunSawScript("verify-HMAC-SHA384-selectcheck.saw")

	log.Printf("Completed HMAC check.")
}