func RunSawScript()

in SAW/proof/common/utility.go [79:90]

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

func RunSawScript(path_to_saw_file string) {
	log.Printf("Running saw script %s.", path_to_saw_file)
	cmd := exec.Command("saw", path_to_saw_file)
	cmd.Stdout = os.Stdout
	cmd.Stderr = os.Stderr
	err := cmd.Run()
	if err != nil {
		log.Fatal("Failed to run saw script %s.", path_to_saw_file, err)
	} else {
		log.Printf("Finished executing saw script %s.", path_to_saw_file)
	}
}