From 064541e8f20feb40216043bcdd211ffe192c6750 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Fri, 15 Feb 2019 15:47:02 +0000 Subject: [PATCH] more arbitrary unit tests --- src/add/test_add.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/add/test_add.py b/src/add/test_add.py index ce67f63e..fbf0fb07 100644 --- a/src/add/test_add.py +++ b/src/add/test_add.py @@ -65,6 +65,13 @@ def testbench(dut): yield from check_case(dut, 0xFF800000, 0xFF800000, 0xFF800000) yield from check_case(dut, 0x7F800000, 0xFF800000, 0xFFC00000) yield from check_case(dut, 0xFF800000, 0x7F800000, 0x7FC00000) + yield from check_case(dut, 0x00018643, 0x00FA72A4, 0x00FBF8E7) + yield from check_case(dut, 0x001A2239, 0x00FA72A4, 0x010A4A6E) + yield from check_case(dut, 0x3F7FFFFE, 0x3F7FFFFE, 0x3FFFFFFE) + yield from check_case(dut, 0x7EFFFFEE, 0x7EFFFFEE, 0x7F7FFFEE) + yield from check_case(dut, 0x7F7FFFEE, 0xFEFFFFEE, 0x7EFFFFEE) + yield from check_case(dut, 0x7F7FFFEE, 0x756CA884, 0x7F7FFFFD) + yield from check_case(dut, 0x7F7FFFEE, 0x758A0CF8, 0x7F7FFFFF) #yield from check_case(dut, 1, 0, 1) #yield from check_case(dut, 1, 1, 1) -- 2.30.2