SmartContractAudit / tasks /task2 /__init__.py
ajaxwin
Inital Commit
08c19c7
raw
history blame
733 Bytes
"""
tasks/task2/__init__.py
-----------------------
Task 2: Property Discovery (PLACEHOLDER)
TODO: Implement this task.
Episode setup:
- One function from a Solidity file with known properties
- Agent must discover the natural-language property of the function
Actions (to implement):
- get_similar_rule : -0.20
- get_file_natspec : -0.03
- get_function_natspec : -0.08
- get_function_code : -0.06
- get_related_functions : -0.06
- get_io : -0.04
- submit_property : scored 0.0–5.0 by semantic similarity grader
See README.md for full task specification.
"""
# TODO: Task 2 – Property Discovery
# from tasks.task2.environment import Task2Environment
__all__: list = []