type_trace_all_tally: tally all traces pointed to by the specified file names

Description Usage

Description

data format : res[[x]][y] : res is the result x is the test # y is param name

Usage

1
type_trace_all_tally(file_names, path_to_dir)

reallyTG/typethat documentation built on May 24, 2019, 8:55 a.m.