projects
/
ieee754fpu.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0a433b8
)
move unit test order
author
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sat, 23 Feb 2019 11:56:28 +0000
(11:56 +0000)
committer
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sat, 23 Feb 2019 11:56:28 +0000
(11:56 +0000)
src/add/test_add.py
patch
|
blob
|
history
diff --git
a/src/add/test_add.py
b/src/add/test_add.py
index cc0ff98abfa367f2a79404db8d631a4ab6380b8d..39c779db5113040921c7c8c59732a7eecc1a3413 100644
(file)
--- a/
src/add/test_add.py
+++ b/
src/add/test_add.py
@@
-13,6
+13,7
@@
from unit_test_single import (get_mantissa, get_exponent, get_sign, is_nan,
run_edge_cases, run_corner_cases)
def testbench(dut):
run_edge_cases, run_corner_cases)
def testbench(dut):
+ yield from check_case(dut, 0, 0, 0)
yield from check_case(dut, 0xFFFFFFFF, 0xC63B800A, 0xFFC00000)
yield from check_case(dut, 0xFF800000, 0x7F800000, 0xFFC00000)
#yield from check_case(dut, 0xFF800000, 0x7F800000, 0x7FC00000)
yield from check_case(dut, 0xFFFFFFFF, 0xC63B800A, 0xFFC00000)
yield from check_case(dut, 0xFF800000, 0x7F800000, 0xFFC00000)
#yield from check_case(dut, 0xFF800000, 0x7F800000, 0x7FC00000)
@@
-21,7
+22,6
@@
def testbench(dut):
yield from check_case(dut, 0xC2540000, 0x42540000, 0x00000000)
yield from check_case(dut, 0xfe34f995, 0xff5d59ad, 0xff800000)
yield from check_case(dut, 0x82471f51, 0x243985f, 0x801c3790)
yield from check_case(dut, 0xC2540000, 0x42540000, 0x00000000)
yield from check_case(dut, 0xfe34f995, 0xff5d59ad, 0xff800000)
yield from check_case(dut, 0x82471f51, 0x243985f, 0x801c3790)
- yield from check_case(dut, 0, 0, 0)
yield from check_case(dut, 0x40000000, 0xc0000000, 0x00000000)
yield from check_case(dut, 0x3F800000, 0x40000000, 0x40400000)
yield from check_case(dut, 0x40000000, 0x3F800000, 0x40400000)
yield from check_case(dut, 0x40000000, 0xc0000000, 0x00000000)
yield from check_case(dut, 0x3F800000, 0x40000000, 0x40400000)
yield from check_case(dut, 0x40000000, 0x3F800000, 0x40400000)