; BTOR description generated by Yosys 0.33+65 (git sha1 90124dce5, clang 15.0.0 -fPIC -Os) for module std_add.
1 sort bitvec 32
2 input 1 left ; temp.sv:5.35-5.39
3 input 1 right ; temp.sv:6.35-6.40
4 add 1 2 3
5 output 4 out ; temp.sv:7.35-7.38
; end of yosys output