size_categories:100K<n<1M format:parquet modality:tabular modality:text library:datasets library:dask library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: category
    dtype: string
  - name: file_name
    dtype: string
  - name: verification_finished
    dtype: string
  - name: vulnerable_line
    dtype: int64
  - name: column
    dtype: int64
  - name: function
    dtype: string
  - name: violated_property
    dtype: string
  - name: error_type
    dtype: string
  - name: code_snippet
    dtype: string
  - name: source_code
    dtype: string
  - name: num_lines
    dtype: int64
  - name: cyclomatic_complexity
    dtype: float32
  splits:
  - name: train
    num_bytes: 864616410.9
    num_examples: 297900
  - name: test
    num_bytes: 96068490.1
    num_examples: 33100
  download_size: 354451824
  dataset_size: 960684901.0
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
  - split: test
    path: data/test-*
---
