src/test/resources/features/HasLoops.fir


1
2
3
4
5
6
7
8
9
10

; SPDX-License-Identifier: Apache-2.0
circuit HasLoops :
  module HasLoops :
    input i : UInt<1>
    output o : UInt<1>
    wire a : UInt<1>
    wire b : UInt<1>
    a <= and(b,i)
    b <= not(a)
    o <= add(a, UInt(1))