[dataset] Drop up-front constraint on csv format for dataset file.
Showing
- src/dataset.ml 1 addition, 1 deletionsrc/dataset.ml
- src/main.ml 16 additions, 15 deletionssrc/main.ml
- src/verification.ml 33 additions, 21 deletionssrc/verification.ml
- src/verification.mli 6 additions, 6 deletionssrc/verification.mli
- tests/dataset.t 2 additions, 2 deletionstests/dataset.t
- tests/saver.t 1 addition, 1 deletiontests/saver.t
Loading
Please register or sign in to comment