Delyan Angelov 6d97b0a407 checker: improve checking of a << b, when a and b are numbers (#12589)		2021-11-29 03:48:49 +03:00
..
dechunk.v	checker: improve checking of a << b, when a and b are numbers (#12589)	2021-11-29 03:48:49 +03:00