github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/tools/propchecker_report.go (about)

     1  package main
     2  
     3  import (
     4  	"dara"
     5  	"fmt"
     6  	"github.com/DARA-Project/GoDist-Scheduler/common"
     7  	"log"
     8  	"os"
     9  )
    10  
    11  func print_propcheck_report(schedule *dara.Schedule) {
    12  	fmt.Println("Total number of property checks:", len(schedule.PropEvents))
    13  	for _, event := range schedule.PropEvents {
    14  		fmt.Println("Index:", event.EventIndex, common.PropCheckString(&event))
    15  	}
    16  }
    17  
    18  func main() {
    19  	if len(os.Args) != 2 {
    20  		log.Fatal("Usage: go run cov_report.go <schedule_filename>")
    21  	}
    22  	schedule_filename := os.Args[1]
    23  
    24  	schedule, err := common.ReadSchedule(schedule_filename)
    25  	if err != nil {
    26  		log.Fatal(err)
    27  	}
    28  	print_propcheck_report(schedule)
    29  }