feat(dio): constructTest (#97)

* feat: add constructTest support to dio JSON format

Adds a "constructTest" entry-level field that tests constructor
execution — gasUsed, deployed code (output), logs, and status —
with full support for the -u -w auto-update workflow.

Also extracts shared helpers printEntryHeader, reportResult, and
jsonScanTestEntry to eliminate duplication between tests and
constructTest parsing/reporting.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

* docs: document constructTest in README and manual

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

* fix: support empty test

* set debug before executing

* add failing nonce test

* fix test

* add tst/out/nonce.out

* hush

* conditional bzero

---------

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: wjmelements

README.md

@@ -133,6 +133,7 @@ If `code` is also supplied for the entry, the code will be used to verify the re
 | `creator` | address of the account creating this contract | `0x3249936bDdF8bF739d3f06d26C40EEfC81029BD1` | `0x0000000000000000000000000000000000000000` |
 | `initcode` | account creation code | `0x383d3d39383df3`, `tst/in/quine.evm` | `code` mocked without constructor |
 | `construct` | specify `initcode` as minimum constructor of file | `tst/in/quine.evm` | `initcode` |
+| `constructTest` | test constructor execution; shares fields of `tests` entries | `{"gasUsed": "0xd583"}` | none |
 | `code` | account code ; validated if `initcode` specified | `0x383d3d39383df3`, `tst/in/quine.evm` | `0x` |
 | `import` | load another configuration | `tst/quine.json` | |
 | `tests` | transactions executed sequentially, after account configuration | <pre>[<br>    {<br>        "input": "0x18160ddd",<br>        "output": "0x115eec47f6cf7e35000000"<br>    }<br>]</pre> | `[]` |

docs/manual.md

@@ -168,6 +168,7 @@ All fields are optional; unset fields default to zero.
 | `code` | Runtime bytecode (hex or path to `.evm`) | `0x` |
 | `initcode` | Creation code (hex or path to `.evm`). If set, `code` is used as the expected deployed result. | — |
 | `construct` | Like `initcode`, but wraps the file in a minimum constructor | — |
+| `constructTest` | Test the constructor execution (see below) | — |
 | `creator` | `msg.sender` for the constructor call | `0x000…000` |
 | `import` | Path to another config file to merge | — |
 | `tests` | Array of test transactions (see below) | `[]` |
@@ -192,6 +193,38 @@ All fields are optional; unset fields default to zero.
 | `timestamp` | `block.timestamp` | `0x65712600` | |
 | `debug` | debug bitmask | `0x0` | See below |
 
+### Constructor test
+
+`constructTest` runs once after the constructor executes, before any `tests`, and reports the outcome to stderr.
+It accepts a subset of the test fields:
+
+| Key | Description | Default |
+| :-: | ----------- | :-----: |
+| `name` | Label shown in output | `"constructor"` |
+| `from` | `msg.sender` for the constructor. Must equal `creator` if both are set. | `creator` (or `0x000…000`) |
+| `gas` | Gas limit | `0xffffffffffffffff` |
+| `output` | Expected deployed bytecode | ignored |
+| `logs` | Expected emitted logs | ignored |
+| `status` | Expected outcome | `0x1` (success) |
+| `gasUsed` | Expected gas | ignored (checked/updated if set) |
+| `debug` | Debug bitmask (see [Debug flags](#debug-flags)) | `0x0` |
+
+Example — measure constructor gas with `-u`:
+```json
+[
+    {
+        "construct": "tst/in/quine.evm",
+        "constructTest": {
+            "name": "deploy quine",
+            "gasUsed": "0xd583"
+        }
+    }
+]
+```
+```sh
+evm -uw tst/quine.json
+```
+
 ### Debug flags
 
 `debug` is a bitmask.

include/address.h

@@ -13,14 +13,23 @@ typedef struct address {
 #define AddressCopy(dst, src) memcpy(dst.address, src.address, 20)
 
 static inline int AddressEqual(const address_t *expected, const address_t *actual) {
-    for (int i = 0; i < 20; i ++) {
+    for (uint8_t i = 0; i < 20; i++) {
         if (expected->address[i] != actual->address[i]) {
             return 0;
         }
     }
     return 1;
 }
 
+static inline int AddressZero(const address_t *address) {
+    for (uint8_t i = 0; i < 40; i++) {
+        if (address->address[i] != 0) {
+            return false;
+        }
+    }
+    return true;
+}
+
 static inline address_t AddressFromHex40(const char *hex) {
     address_t address;
     for (uint8_t i = 0; i < 40; i += 2) {

make/.rme.md

@@ -133,6 +133,7 @@ If `code` is also supplied for the entry, the code will be used to verify the re
 | `creator` | address of the account creating this contract | `0x3249936bDdF8bF739d3f06d26C40EEfC81029BD1` | `0x0000000000000000000000000000000000000000` |
 | `initcode` | account creation code | `0x383d3d39383df3`, `tst/in/quine.evm` | `code` mocked without constructor |
 | `construct` | specify `initcode` as minimum constructor of file | `tst/in/quine.evm` | `initcode` |
+| `constructTest` | test constructor execution; shares fields of `tests` entries | `{"gasUsed": "0xd583"}` | none |
 | `code` | account code ; validated if `initcode` specified | `0x383d3d39383df3`, `tst/in/quine.evm` | `0x` |
 | `import` | load another configuration | `tst/quine.json` | |
 | `tests` | transactions executed sequentially, after account configuration | <pre>[<br>    {<br>        "input": "0x18160ddd",<br>        "output": "0x115eec47f6cf7e35000000"<br>    }<br>]</pre> | `[]` |