Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
A
asn1c
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Libraries
asn1c
Commits
ed46543c
Commit
ed46543c
authored
Sep 27, 2004
by
Lev Walkin
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
pretty-printing check cases
parent
92b35d2b
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
89 additions
and
39 deletions
+89
-39
skeletons/tests/check-REAL.c
skeletons/tests/check-REAL.c
+89
-39
No files found.
skeletons/tests/check-REAL.c
View file @
ed46543c
...
@@ -7,8 +7,53 @@
...
@@ -7,8 +7,53 @@
#include <der_encoder.c>
#include <der_encoder.c>
#include <constraints.c>
#include <constraints.c>
static
char
reconstructed
[
2
][
512
];
static
int
reconstr_lens
[
2
];
static
int
callback
(
const
void
*
buffer
,
size_t
size
,
void
*
app_key
)
{
char
*
buf
=
reconstructed
[
app_key
?
1
:
0
];
int
*
len
=
&
reconstr_lens
[
app_key
?
1
:
0
];
if
(
*
len
+
size
>=
sizeof
(
reconstructed
[
0
]))
return
-
1
;
memcpy
(
buf
+
*
len
,
buffer
,
size
);
*
len
+=
size
;
return
0
;
}
static
void
check_str_repr
(
double
d
,
const
char
*
sample
,
const
char
*
canonical_sample
)
{
ssize_t
s1
,
s2
;
reconstr_lens
[
1
]
=
reconstr_lens
[
0
]
=
0
;
s1
=
REAL__dump
(
d
,
0
,
callback
,
0
);
assert
(
s1
<
sizeof
(
reconstructed
[
0
]));
assert
(
s1
==
reconstr_lens
[
0
]);
reconstructed
[
0
][
s1
]
=
'\0'
;
s2
=
REAL__dump
(
d
,
1
,
callback
,
(
void
*
)
1
);
assert
(
s2
<
sizeof
(
reconstructed
[
1
]));
assert
(
s2
==
reconstr_lens
[
1
]);
reconstructed
[
1
][
s2
]
=
'\0'
;
if
(
sample
)
{
printf
(
"Checking [%s] against [%s]
\n
"
,
reconstructed
[
0
],
sample
);
assert
(
!
strcmp
(
reconstructed
[
0
],
sample
));
}
if
(
canonical_sample
)
{
printf
(
"Checking [%s] against [%s] (canonical)
\n
"
,
reconstructed
[
1
],
canonical_sample
);
assert
(
!
strcmp
(
reconstructed
[
1
],
canonical_sample
));
}
}
static
void
static
void
check
(
REAL_t
*
rn
,
double
orig_dbl
)
{
check
(
REAL_t
*
rn
,
double
orig_dbl
,
const
char
*
sample
,
const
char
*
canonical_sample
)
{
double
val
;
double
val
;
uint8_t
*
p
,
*
end
;
uint8_t
*
p
,
*
end
;
int
ret
;
int
ret
;
...
@@ -44,17 +89,19 @@ check(REAL_t *rn, double orig_dbl) {
...
@@ -44,17 +89,19 @@ check(REAL_t *rn, double orig_dbl) {
assert
(
orig_dbl
==
val
);
assert
(
orig_dbl
==
val
);
printf
(
"OK
\n
"
);
printf
(
"OK
\n
"
);
check_str_repr
(
val
,
sample
,
canonical_sample
);
}
}
uint8_t
buf_1_0
[]
=
{
0x80
,
0xcc
,
0x10
,
0x00
,
0x00
,
0x00
,
0x00
,
0x00
,
0x00
};
uint8_t
buf_1_0
[]
=
{
0x80
,
0xcc
,
0x10
,
0x00
,
0x00
,
0x00
,
0x00
,
0x00
,
0x00
};
uint8_t
buf_1_1
[]
=
{
0x80
,
0xcc
,
0x11
,
0x99
,
0x99
,
0x99
,
0x99
,
0x99
,
0x9a
};
uint8_t
buf_1_1
[]
=
{
0x80
,
0xcc
,
0x11
,
0x99
,
0x99
,
0x99
,
0x99
,
0x99
,
0x9a
};
uint8_t
buf_3_14
[]
=
{
0x80
,
0xcd
,
0x19
,
0x1e
,
0xb8
,
0x51
,
0xeb
,
0x85
,
0x1f
};
uint8_t
buf_3_14
[]
=
{
0x80
,
0xcd
,
0x19
,
0x1e
,
0xb8
,
0x51
,
0xeb
,
0x85
,
0x1f
};
/* These ones are very interesting! It checks mantissa overflow! */
/* These ones are very interesting! It checks mantissa overflow! */
uint8_t
buf_mo1
[]
=
{
0x
8
0
,
0xc5
,
0x19
,
0x1e
,
0xb8
,
0x51
,
0xeb
,
0x85
,
0x1f
,
3
};
uint8_t
buf_mo1
[]
=
{
0x
C
0
,
0xc5
,
0x19
,
0x1e
,
0xb8
,
0x51
,
0xeb
,
0x85
,
0x1f
,
3
};
uint8_t
buf_mo2
[]
=
{
0x80
,
0xbd
,
0x19
,
0x1e
,
0xb8
,
0x51
,
0xeb
,
0x85
,
0x1f
,
3
,
2
};
uint8_t
buf_mo2
[]
=
{
0x80
,
0xbd
,
0x19
,
0x1e
,
0xb8
,
0x51
,
0xeb
,
0x85
,
0x1f
,
3
,
2
};
static
void
static
void
check_buf
(
uint8_t
*
buf
,
size_t
bufsize
,
double
verify
)
{
check_buf
(
uint8_t
*
buf
,
size_t
bufsize
,
double
verify
,
const
char
*
sample
,
const
char
*
canonical_sample
)
{
REAL_t
rn
;
REAL_t
rn
;
double
val
;
double
val
;
uint8_t
*
p
,
*
end
;
uint8_t
*
p
,
*
end
;
...
@@ -90,6 +137,8 @@ check_buf(uint8_t *buf, size_t bufsize, double verify) {
...
@@ -90,6 +137,8 @@ check_buf(uint8_t *buf, size_t bufsize, double verify) {
printf
(
"%.12f vs %.12f
\n
"
,
verify
,
val
);
printf
(
"%.12f vs %.12f
\n
"
,
verify
,
val
);
assert
(
val
==
verify
);
assert
(
val
==
verify
);
check_str_repr
(
val
,
sample
,
canonical_sample
);
}
}
int
int
...
@@ -98,42 +147,43 @@ main() {
...
@@ -98,42 +147,43 @@ main() {
memset
(
&
rn
,
0
,
sizeof
(
rn
));
memset
(
&
rn
,
0
,
sizeof
(
rn
));
check
(
&
rn
,
0
.
0
);
check
(
&
rn
,
0
.
0
,
"0"
,
"0"
);
check
(
&
rn
,
1
.
0
);
check
(
&
rn
,
-
0
.
0
,
"-0"
,
"-0"
);
/* minus-zero */
check
(
&
rn
,
-
1
.
0
);
check
(
&
rn
,
1
.
0
,
"1.0"
,
"1.0E0"
);
check
(
&
rn
,
1
.
5
);
check
(
&
rn
,
-
1
.
0
,
"-1.0"
,
"-1.0E0"
);
check
(
&
rn
,
0
.
1
);
check
(
&
rn
,
1
.
5
,
"1.5"
,
"1.5E0"
);
check
(
&
rn
,
0
.
33333
);
check
(
&
rn
,
0
.
1
,
"0.1"
,
"1.0E-1"
);
check
(
&
rn
,
2
);
check
(
&
rn
,
0
.
33333
,
"0.33333"
,
"3.3333E-1"
);
check
(
&
rn
,
2
.
1
);
check
(
&
rn
,
2
,
"2.0"
,
"2.0E0"
);
check
(
&
rn
,
3
);
check
(
&
rn
,
2
.
1
,
"2.1"
,
"2.1E0"
);
check
(
&
rn
,
3
.
1
);
check
(
&
rn
,
3
,
"3.0"
,
"3.0E0"
);
check
(
&
rn
,
3
.
14
);
check
(
&
rn
,
3
.
1
,
"3.1"
,
"3.1E0"
);
check
(
&
rn
,
3
.
1415
);
check
(
&
rn
,
3
.
14
,
"3.14"
,
"3.14E0"
);
check
(
&
rn
,
3
.
141592
);
check
(
&
rn
,
3
.
1415
,
"3.1415"
,
"3.1415E0"
);
check
(
&
rn
,
3
.
14159265
);
check
(
&
rn
,
3
.
141592
,
"3.141592"
,
"3.141592E0"
);
check
(
&
rn
,
-
3
.
14159265
);
check
(
&
rn
,
3
.
14159265
,
"3.14159265"
,
"3.14159265E0"
);
check
(
&
rn
,
14159265
.
0
);
check
(
&
rn
,
-
3
.
14159265
,
"-3.14159265"
,
"-3.14159265E0"
);
check
(
&
rn
,
-
123456789123456789
.
0
);
check
(
&
rn
,
14159265
.
0
,
"14159265.0"
,
"1.4159265E7"
);
check
(
&
rn
,
0
.
00000000001
);
check
(
&
rn
,
-
123456789123456789
.
0
,
"-123456789123456784.0"
,
"-1.234567891234568E17"
);
check
(
&
rn
,
0
.
00000000002
);
check
(
&
rn
,
0
.
00000000001
,
"0.0"
,
"9.999999999999999E-12"
);
check
(
&
rn
,
0
.
0000000000
9
);
check
(
&
rn
,
0
.
00000000002
,
"0.0"
,
"2.0E-11"
);
check
(
&
rn
,
0
.
0000000000000000000001
);
check
(
&
rn
,
0
.
0000000000
9
,
"0.0"
,
"9.0E-11"
);
check
(
&
rn
,
0
.
000000000000000000000000000001
);
/* proved 2B a problem */
check
(
&
rn
,
0
.
0000000000000000000001
,
"0.0"
,
"1.0E-22"
);
check
(
&
rn
,
-
0
.
000000000000000000000000000001
);
/* proved 2B a problem */
check
(
&
rn
,
0
.
000000000000000000000000000001
,
"0.0"
,
"1.0E-30"
);
/* proved 2B a problem */
check
(
&
rn
,
0
.
0000000000010000000001000000000001
);
check
(
&
rn
,
-
0
.
000000000000000000000000000001
,
"-0.0"
,
"-1.0E-30"
);
/* proved 2B a problem */
check
(
&
rn
,
0
.
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
);
check
(
&
rn
,
0
.
0000000000010000000001000000000001
,
0
,
0
);
check
(
&
rn
,
0
.
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
);
check
(
&
rn
,
0
.
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
,
0
,
0
);
check
(
&
rn
,
-
0
.
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
);
check
(
&
rn
,
0
.
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
,
0
,
0
);
check
(
&
rn
,
-
3
.
33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333
);
check
(
&
rn
,
-
0
.
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
,
0
,
0
);
check
(
&
rn
,
0
.
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000033333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333
);
check
(
&
rn
,
-
3
.
33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333
,
0
,
0
);
check
(
&
rn
,
-
0
.
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
);
check
(
&
rn
,
0
.
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000033333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333
,
0
,
0
);
check
(
&
rn
,
-
0
.
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
,
0
,
0
);
check_buf
(
buf_1_0
,
sizeof
(
buf_1_0
),
1
.
0
);
check_buf
(
buf_1_1
,
sizeof
(
buf_1_1
),
1
.
1
);
check_buf
(
buf_1_0
,
sizeof
(
buf_1_0
),
1
.
0
,
"1.0"
,
"1.0E0"
);
check_buf
(
buf_3_14
,
sizeof
(
buf_3_14
),
3
.
14
);
check_buf
(
buf_1_1
,
sizeof
(
buf_1_1
),
1
.
1
,
"1.1"
,
"1.1E0"
);
check_buf
(
buf_mo1
,
sizeof
(
buf_mo1
),
3
.
14
);
check_buf
(
buf_3_14
,
sizeof
(
buf_3_14
),
3
.
14
,
"3.14"
,
"3.14E0"
);
check_buf
(
buf_mo2
,
sizeof
(
buf_mo2
),
3
.
14
);
check_buf
(
buf_mo1
,
sizeof
(
buf_mo1
),
-
3
.
14
,
"-3.14"
,
"-3.14E0"
);
check_buf
(
buf_mo2
,
sizeof
(
buf_mo2
),
3
.
14
,
"3.14"
,
"3.14E0"
);
return
0
;
return
0
;
}
}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment