Spaces:
Sleeping
Sleeping
| """ | |
| tasks/task3/__init__.py | |
| ----------------------- | |
| Task 3: Rule Checker (PLACEHOLDER) | |
| TODO: Implement this task. | |
| Episode setup: | |
| - One Solidity file with at least one function breaking a given property | |
| - Agent is shown the property in natural English | |
| Actions (to implement): | |
| - get_formalized_property : -0.03 | |
| - list_functions : -0.05 | |
| - get_function_metadata : -0.05 | |
| - get_function_code : -0.10 | |
| - get_state_variables : -0.05 | |
| - get_call_graph : -0.08 | |
| - submit_function : | |
| - correct = +5.0 | |
| - subfunction of target = +1.5 | |
| - wrong = -1.5 | |
| (ONE submission per episode) | |
| See README.md for full task specification. | |
| """ | |
| # TODO: Task 3 – Rule Checker | |
| # from tasks.task3.environment import Task3Environment | |
| __all__: list = [] | |