elenchus_get_project_history
Retrieve verification history for a project, including past sessions and baselines, to track security and correctness analysis over time.
Instructions
Get verification history for a project including past sessions and baselines.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| workingDir | Yes | Working directory for the project |