tiramisu-api-python/test/data/number1_frozen.prop

{"options.integer": ["frozen"]}