diff --git a/implementations/python/tests/samples.bin b/implementations/python/tests/samples.bin index 3a62462..9b67c4b 100644 Binary files a/implementations/python/tests/samples.bin and b/implementations/python/tests/samples.bin differ diff --git a/implementations/python/tests/samples.pr b/implementations/python/tests/samples.pr index 7dff78b..bd6b456 100644 --- a/implementations/python/tests/samples.pr +++ b/implementations/python/tests/samples.pr @@ -91,6 +91,12 @@ double+0: double-0: double1: + double1a: + double1b: + double1c: + double1d: + double1e: + double1f: double2: double3: double4: @"Fewer than 16 digits" @@ -111,6 +117,13 @@ float+0: float-0: float1: + float1u: + float1a: + float1b: + float1c: + float1d: + float1e: + float1f: float2: float3: @"Fewer than 8 digits" float4: @"More than 8 digits" diff --git a/implementations/racket/preserves/preserves/tests/samples.pr b/implementations/racket/preserves/preserves/tests/samples.pr index 7dff78b..bd6b456 100644 --- a/implementations/racket/preserves/preserves/tests/samples.pr +++ b/implementations/racket/preserves/preserves/tests/samples.pr @@ -91,6 +91,12 @@ double+0: double-0: double1: + double1a: + double1b: + double1c: + double1d: + double1e: + double1f: double2: double3: double4: @"Fewer than 16 digits" @@ -111,6 +117,13 @@ float+0: float-0: float1: + float1u: + float1a: + float1b: + float1c: + float1d: + float1e: + float1f: float2: float3: @"Fewer than 8 digits" float4: @"More than 8 digits" diff --git a/tests/samples.bin b/tests/samples.bin index 3a62462..9b67c4b 100644 Binary files a/tests/samples.bin and b/tests/samples.bin differ diff --git a/tests/samples.pr b/tests/samples.pr index 7dff78b..bd6b456 100644 --- a/tests/samples.pr +++ b/tests/samples.pr @@ -91,6 +91,12 @@ double+0: double-0: double1: + double1a: + double1b: + double1c: + double1d: + double1e: + double1f: double2: double3: double4: @"Fewer than 16 digits" @@ -111,6 +117,13 @@ float+0: float-0: float1: + float1u: + float1a: + float1b: + float1c: + float1d: + float1e: + float1f: float2: float3: @"Fewer than 8 digits" float4: @"More than 8 digits"