evaluation.test.json

{
    "$schema": "../../../../schema/testcase.schema.json",
    "target": {
        "start": {
            "label": "check_collision"
        }
    },
    "testCases": {
        "between the range": {
            "setup": {
                "memory": [
                    {
                        "label": "vector_addr",
                        "value": 4
                    }
                ]
            },
            "expected": {
                "memory": [
                    {
                        "label": "vector_addr",
                        "value": {
                            "gt": 3,
                            "lt": 5
                        }
                    }
                ]
            }
        },
        "more complex conditions": {
            "setup": {
                "memory": [
                    {
                        "label": "vector_addr",
                        "value": 4
                    }
                ]
            },
            "expected": {
                "memory": [
                    {
                        "label": "vector_addr",
                        "value": {
                            "gt": 3,
                            "lt": 5,
                            "anyOf": [
                                {
                                    "lt": 4
                                },
                                {
                                    "gt": 4
                                },
                                {
                                    "anyOf": [
                                        {
                                            "eq": 2
                                        },
                                        {
                                            "eq": 4
                                        }
                                    ]
                                }
                            ]
                        }
                    }
                ]
            }
        }
    }
}