commit | 7ae82c3a41c71c977e409dd20679bc4aec19961c | [log] [tgz] |
---|---|---|
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | Sat Apr 17 22:01:05 2021 +0200 |
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | Sun Apr 18 17:21:37 2021 +0200 |
tree | 47c7368fe10dda65b58b42caa27c4160a7857f2b | |
parent | 48eb2ca449b7f8e8e0684a2d92c8a1d0224861da [diff] |
add testcases for AND(x > 0, x <= C) --> x u<= C Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>