test/errors/high-form/NegUInt.fir


1
2
3
4
5
6
7

; to run: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s
; to check: UIntValue cannot be negative.

circuit Top :
  module Top :
    wire x : UInt<4>
    x := UInt(-2)