func RunSelectCheckScript()

in SAW/proof/common/utility.go [66:77]

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

func RunSelectCheckScript(path_to_saw_file string, path_to_template string) {
	log.Printf("Running saw script %s. Related template: %s.", path_to_saw_file, path_to_template)
	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. Related template: %s.", path_to_saw_file, path_to_template, err)
	} else {
		log.Printf("Finished executing saw script %s. Related template: %s.", path_to_saw_file, path_to_template)
	}
}