update smtchecker and style-guide

solidity-docs · Sep 20, 2023 · 8267573 · 8267573
1 parent 6daea7c
commit 8267573
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst
@@ -1212,12 +1212,12 @@ CHCエンジンは、内部関数の呼び出しをサポートするために
 +===================================+======================================+
 |``assert``                         |Verification target.                  |
 +-----------------------------------+--------------------------------------+
-|``require``                        |Assumption.                           |
+|``require``                        |仮定                                  |
 +-----------------------------------+--------------------------------------+
-|internal call                      |BMC: Inline function call.            |
+|internalコール                     |BMC: Inline function call.            |
 |                                   |CHC: Function summaries.              |
 +-----------------------------------+--------------------------------------+
-|external call to known code        |BMC: Inline function call or          |
+|既知のコードへのexternalコール     |BMC: Inline function call or          |
 |                                   |erase knowledge about state variables |
 |                                   |and local storage references.         |
 |                                   |CHC: Assume called code is unknown.   |
@@ -1228,7 +1228,7 @@ CHCエンジンは、内部関数の呼び出しをサポートするために
 |                                   |Checks whether it is popping an       |
 |                                   |empty array.                          |
 +-----------------------------------+--------------------------------------+
-|ABI functions                      |Abstracted with UF.                   |
+|ABI関数                            |Abstracted with UF.                   |
 +-----------------------------------+--------------------------------------+
 |``addmod``, ``mulmod``             |Supported precisely.                  |
 +-----------------------------------+--------------------------------------+

diff --git a/docs/style-guide.rst b/docs/style-guide.rst
@@ -1433,14 +1433,14 @@ mixedCaseを使用してください。
 
 .. Underscore Prefix for Non-external Functions and Variables
 
-非外部関数および変数のためのアンダースコア接頭辞
-================================================
+非外部関数と非外部変数のためのアンダースコア接頭辞
+==================================================
 
 * ``_singleLeadingUnderscore``
 
 .. This convention is suggested for non-external functions and state variables (``private`` or ``internal``). State variables without a specified visibility are ``internal`` by default.
 
-この規約は、外部関数と状態変数（ ``private`` または ``internal`` ）以外では推奨されています。
+この規約は、非外部関数と非外部状態変数（つまり ``private`` または ``internal`` ）で推奨されています。
 ビジビリティの指定がない状態変数は、デフォルトで ``internal`` となります。
 
 .. When designing a smart contract, the public-facing API (functions that can be called by any account) is an important consideration.