Spaces:
Build error
Build error
| import argparse | |
| import pandas as pd | |
| from datasets import load_dataset | |
| parser = argparse.ArgumentParser() | |
| parser.add_argument('output_filepath', type=str, help='Path to save the output file') | |
| parser.add_argument( | |
| '--dataset_name', | |
| type=str, | |
| help='Name of the dataset to download', | |
| default='kjain14/testgeneval', | |
| ) | |
| parser.add_argument('--split', type=str, help='Split to download', default='test') | |
| args = parser.parse_args() | |
| dataset = load_dataset(args.dataset_name, split=args.split) | |
| output_filepath = args.output_filepath | |
| print( | |
| f'Downloading gold test suites from {args.dataset_name} (split: {args.split}) to {output_filepath}' | |
| ) | |
| test_suites = [ | |
| {'instance_id': row['instance_id'], 'test_suite': row['test_src']} | |
| for row in dataset | |
| ] | |
| print(f'{len(test_suites)} test suites loaded') | |
| pd.DataFrame(test_suites).to_json(output_filepath, lines=True, orient='records') | |
| print(f'Test suites saved to {output_filepath}') | |