summaryrefslogtreecommitdiff
path: root/tp1/test/cm2.net
blob: e296b968ad4f63f6ad76e1d97cf5fdb8611f9902 (plain) (blame)
1
2
3
4
5
6
7
8
9
INPUT x
OUTPUT s, r
VAR
  _l_1, r, s, x
IN
r = AND x s
s = REG _l_1
_l_1 = XOR x s