memory.addressing.test.json

{
    "$schema": "../../../../schema/testcase.schema.json",
    "target": {
        "start": {
            "label": "check_collision"
        }
    },
    "testCases": {
        "abstract address": {
            "setup": {
                "memory": [
                    {
                        "address": "$6",
                        "value": 4
                    }
                ]
            },
            "expected": {
                "memory": [
                    {
                        "address": "$6",
                        "value": {
                            "eq": 4
                        }
                    }
                ]
            }
        },
        "labeled address": {
            "setup": {
                "memory": [
                    {
                        "label": "vector_addr",
                        "value": 4
                    }
                ]
            },
            "expected": {
                "memory": [
                    {
                        "address": "$6",
                        "value": {
                            "eq": 4
                        }
                    }
                ]
            }
        },
        "labeled address with offset": {
            "setup": {
                "memory": [
                    {
                        "label": "vector_addr",
                        "offset": 1,
                        "value": 4
                    }
                ]
            },
            "expected": {
                "memory": [
                    {
                        "address": "$7",
                        "value": {
                            "eq": 4
                        }
                    }
                ]
            }
        }
    }
}