summaryrefslogblamecommitdiff
path: root/tests/fulladder.mj
blob: c4b6b0ed1ed9ee0e012b52a3acbcd14d585bc330 (plain) (tree)
1
2
3
4



                                     
main(a,b,c) = (s, r) where
  s = (a xor b) xor c;
  r = (a and b) or ((a xor b) and c);
end where