
Contract LibByte
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| t        |                      [] |                       [] |
| t        |                      [] |                       [] |
+----------+-------------------------+--------------------------+

Contract TestByte
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| test     |                      [] |                       [] |
+----------+-------------------------+--------------------------+

Contract LibUint
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| t        |                      [] |                       [] |
| t        |                      [] |                       [] |
+----------+-------------------------+--------------------------+

Contract TestUint
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| test     |                      [] |                       [] |
+----------+-------------------------+--------------------------+

Contract LibInt
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| t        |                      [] |                       [] |
| t        |                      [] |                       [] |
+----------+-------------------------+--------------------------+

Contract TestUintWithVariableiAndConversion
+----------+-------------------------+--------------------------+
| Function | State variables written | Conditions on msg.sender |
+----------+-------------------------+--------------------------+
| test     |                      [] |                       [] |
+----------+-------------------------+--------------------------+

