API Smoke Test

Source

// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;

// A complete, valid NO_DIVERGENCE submission — copy it as your starting point.
// The manifest tells the harness how to deploy and call the contract; it measures
// the real solc+EVM behavior itself and compares it to the Lean semantics.

/* ===ARENA-MANIFEST===
{
  "deploy": { "contract": "Arith", "args": [], "value": 0 },
  "entry":  { "function": "add", "args": [2, 3] },
  "note":   "control: 2 + 3 == 5 on both engines (no divergence expected)"
}
===END-ARENA-MANIFEST=== */

contract Arith {
    function add(uint256 a, uint256 b) external pure returns (uint256) {
        return a + b;
    }
}