From dfcfa627765c6a424a1c74b4995686280577788f Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 7 Nov 2022 00:12:09 +0100 Subject: [PATCH] More tests --- implementations/python/tests/samples.bin | Bin 9602 -> 9717 bytes implementations/python/tests/samples.pr | 6 ++++-- .../preserves/preserves/tests/samples.pr | 6 ++++-- tests/samples.bin | Bin 9602 -> 9717 bytes tests/samples.pr | 6 ++++-- 5 files changed, 12 insertions(+), 6 deletions(-) diff --git a/implementations/python/tests/samples.bin b/implementations/python/tests/samples.bin index 3d595499fde0ec03d89756b410d7d69bed69395b..e05af505649e0931b8f9dbf2b6e0e4a882b4b829 100644 GIT binary patch delta 128 zcmZqj{_4Hqu!vDwPJUvEp;7BbZl}Z)h2nz5ODu*l{gB3-PT4@jAE0{~Ad2e1GD diff --git a/implementations/python/tests/samples.pr b/implementations/python/tests/samples.pr index a99aae9..76061db 100644 --- a/implementations/python/tests/samples.pr +++ b/implementations/python/tests/samples.pr @@ -79,7 +79,7 @@ double-0: double1: double2: - double3: + double3: double4: @"Fewer than 16 digits" double5: @"More than 16 digits" double6: @"Invalid chars" @@ -89,11 +89,12 @@ double10: @"-NaN" double11: @"+NaN" double12: @"+NaN" + double13: @"Bad spacing" float0: float+0: float-0: float1: - float2: + float2: float3: @"Fewer than 8 digits" float4: @"More than 8 digits" float5: @"Invalid chars" @@ -103,6 +104,7 @@ float9: @"+NaN" float10: @"-NaN" float11: @"-NaN" + float12: @"Bad spacing" int-257: int-256: int-255: diff --git a/implementations/racket/preserves/preserves/tests/samples.pr b/implementations/racket/preserves/preserves/tests/samples.pr index a99aae9..76061db 100644 --- a/implementations/racket/preserves/preserves/tests/samples.pr +++ b/implementations/racket/preserves/preserves/tests/samples.pr @@ -79,7 +79,7 @@ double-0: double1: double2: - double3: + double3: double4: @"Fewer than 16 digits" double5: @"More than 16 digits" double6: @"Invalid chars" @@ -89,11 +89,12 @@ double10: @"-NaN" double11: @"+NaN" double12: @"+NaN" + double13: @"Bad spacing" float0: float+0: float-0: float1: - float2: + float2: float3: @"Fewer than 8 digits" float4: @"More than 8 digits" float5: @"Invalid chars" @@ -103,6 +104,7 @@ float9: @"+NaN" float10: @"-NaN" float11: @"-NaN" + float12: @"Bad spacing" int-257: int-256: int-255: diff --git a/tests/samples.bin b/tests/samples.bin index 3d595499fde0ec03d89756b410d7d69bed69395b..e05af505649e0931b8f9dbf2b6e0e4a882b4b829 100644 GIT binary patch delta 128 zcmZqj{_4Hqu!vDwPJUvEp;7BbZl}Z)h2nz5ODu*l{gB3-PT4@jAE0{~Ad2e1GD diff --git a/tests/samples.pr b/tests/samples.pr index a99aae9..76061db 100644 --- a/tests/samples.pr +++ b/tests/samples.pr @@ -79,7 +79,7 @@ double-0: double1: double2: - double3: + double3: double4: @"Fewer than 16 digits" double5: @"More than 16 digits" double6: @"Invalid chars" @@ -89,11 +89,12 @@ double10: @"-NaN" double11: @"+NaN" double12: @"+NaN" + double13: @"Bad spacing" float0: float+0: float-0: float1: - float2: + float2: float3: @"Fewer than 8 digits" float4: @"More than 8 digits" float5: @"Invalid chars" @@ -103,6 +104,7 @@ float9: @"+NaN" float10: @"-NaN" float11: @"-NaN" + float12: @"Bad spacing" int-257: int-256: int-255: