cassc

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
import "forge-std/Test.sol";

contract Preservation {

  // public library contracts
  address public timeZone1Library;
  address public timeZone2Library;
  address public owner;

cassc

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
import "forge-std/Test.sol";

contract Minimum{
    address public addr;
    constructor(){
        // init code
        // prepare CODECOPY
        // PUSH1 0x0a // size of code, 10 bytes

cassc

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
import "forge-std/Test.sol";

interface AlienCodex{
    function owner() external view returns (address);
    function makeContact() external;
    function retract() external;
    function revise(uint i, bytes32 _content) external;
}

cassc

// SPDX-License-Identifier: MIT
pragma solidity >0.8.0;


contract MyTestContract {
    mapping(address => uint) public balances;
    address public owner ;
    constructor() payable {
        owner = msg.sender;
        balances[msg.sender] = msg.value;

cassc

{
  "language": "Solidity",
  "settings": {
    "optimizer": {
      "enabled": false
    },
    "outputSelection": {
      "*": {
        "": [
          "ast"

cassc

{
  "jsonrpc": "2.0",
  "id": 1,
  "result": [
    {
      "action": {
        "callType": "call",
        "from": "0x6438b5009a81b85800511f12a3d15f61fb553f53",
        "gas": "0x12f44",
        "input": "0xa9059cbb0000000000000000000000007154980e9be95eab4eef2269650d4c7e17f156b80000000000000000000000000000000000000000000000000000000033721c51",

cassc

# ❯ CAST_BIN=[optional-cast-binary-full-path] python cast-json-example.py

import subprocess
import json
import os
import tempfile

cast_bin = os.environ.get('CAST_BIN', 'cast')

def cast_run(rpc_url, txhash):

cassc

// cuevm --input xxx.json
// geth --json --noreturndata --nomemory statetest xxx.json

{
    "00000004-mixed-1": {
        "env": {
            "currentCoinbase": "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
            "currentDifficulty": "0x200000",
            "currentRandom": "0x0000000000000000000000000000000000000000000000000000000000200000",
            "currentGasLimit": "0x26e1f476fe1e22",

cassc

{
    "00000001-mixed-9": {
        "env": {
            "currentCoinbase": "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
            "currentDifficulty": "0x200000",
            "currentRandom": "0x0000000000000000000000000000000000000000000000000000000000200000",
            "currentGasLimit": "0x26e1f476fe1e22",
            "currentNumber": "0x1",
            "currentTimestamp": "0x3e8",
            "previousHash": "0x044852b2a670ade5407e78fb2863c51de9fcb96542a07186fe3aeda6bb8a116d",

cassc

{
  "00000007-mixed-4": {
    "env": {
      "currentCoinbase": "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
      "currentDifficulty": "0x200000",
      "currentRandom": "0x0000000000000000000000000000000000000000000000000000000000200000",
      "currentGasLimit": "0x26e1f476fe1e22",
      "currentNumber": "0x1",
      "currentTimestamp": "0x3e8",
      "previousHash": "0x044852b2a670ade5407e78fb2863c51de9fcb96542a07186fe3aeda6bb8a116d",