Index - U
| underrun | EVM |
| UnexpectedSymbolicArg | EVM.Types |
| Unfinished | EVM.Types |
| unifyCachedContract | EVM.Types |
| unitTest | EVM.UnitTest |
| unitTestMarkerAbi | EVM.Dapp |
| unitTestMethods | EVM.Dapp |
| unitTestMethodsFiltered | EVM.Dapp |
| UnitTestOptions | |
| 1 (Type/Class) | EVM.UnitTest |
| 2 (Data Constructor) | EVM.UnitTest |
| UNK | EVM.Expr |
| Unknown | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Data Constructor) | EVM.Solvers |
| UnknownCode | EVM.Types |
| unknownContract | EVM |
| unpackNibbles | EVM.Types |
| UnrecognizedOpcode | EVM.Types |
| unRefund | EVM |
| Unsat | EVM.Solvers |
| UnsatCache | EVM.SymExec |
| untilFixpoint | EVM.Types |