search

drom / circt-fuzzer

Generator of random circuits
MIT License
4 stars 1 forks source link

signed literals in range #5

Closed drom closed 3 years ago

drom commented 3 years ago 
SInt<1>(1)

Width too small for constant 1.

SInt<3>(4)

Width too small for constant 4.

drom commented 3 years ago

blocked by https://github.com/llvm/circt/issues/347

drom commented 3 years ago 
SInt<1>(N) --> where N = {-1, 0}
SInt<3>(N) --> where N = {-4, -3, -2, -1, 0 , 1, 2, 3}