Browse Source

add duplicate consistency checks for saber

master
Matthias J. Kannwischer 5 years ago
parent
commit
e543aea8ea
3 changed files with 93 additions and 0 deletions
  1. +31
    -0
      test/duplicate_consistency/firesaber_clean.yml
  2. +31
    -0
      test/duplicate_consistency/lightsaber_clean.yml
  3. +31
    -0
      test/duplicate_consistency/saber_clean.yml

+ 31
- 0
test/duplicate_consistency/firesaber_clean.yml View File

@@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: lightsaber
implementation: clean
files:
- cbd.h
- kem.c
- pack_unpack.c
- pack_unpack.h
- poly.c
- poly.h
- poly_mul.c
- poly_mul.h
- SABER_indcpa.h
- verify.c
- verify.h
- source:
scheme: saber
implementation: clean
files:
- cbd.h
- kem.c
- pack_unpack.c
- pack_unpack.h
- poly.c
- poly.h
- poly_mul.c
- poly_mul.h
- SABER_indcpa.h
- verify.c
- verify.h

+ 31
- 0
test/duplicate_consistency/lightsaber_clean.yml View File

@@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: saber
implementation: clean
files:
- cbd.h
- kem.c
- pack_unpack.c
- pack_unpack.h
- poly.c
- poly.h
- poly_mul.c
- poly_mul.h
- SABER_indcpa.h
- verify.c
- verify.h
- source:
scheme: firesaber
implementation: clean
files:
- cbd.h
- kem.c
- pack_unpack.c
- pack_unpack.h
- poly.c
- poly.h
- poly_mul.c
- poly_mul.h
- SABER_indcpa.h
- verify.c
- verify.h

+ 31
- 0
test/duplicate_consistency/saber_clean.yml View File

@@ -0,0 +1,31 @@
consistency_checks:
- source:
scheme: lightsaber
implementation: clean
files:
- cbd.h
- kem.c
- pack_unpack.c
- pack_unpack.h
- poly.c
- poly.h
- poly_mul.c
- poly_mul.h
- SABER_indcpa.h
- verify.c
- verify.h
- source:
scheme: firesaber
implementation: clean
files:
- cbd.h
- kem.c
- pack_unpack.c
- pack_unpack.h
- poly.c
- poly.h
- poly_mul.c
- poly_mul.h
- SABER_indcpa.h
- verify.c
- verify.h

Loading…
Cancel
Save