Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Save To Option in Create Report #57

Merged
merged 3 commits into from
Dec 31, 2024
Merged

Save To Option in Create Report #57

merged 3 commits into from
Dec 31, 2024

Conversation

liav-certora
Copy link
Contributor

No description provided.

@liav-certora liav-certora requested a review from a team as a code owner December 31, 2024 12:13
@@ -14,16 +14,20 @@ def parse_args() -> argparse.Namespace:
parser = argparse.ArgumentParser(description='This tool generates automatic proposal reports.')
parser.add_argument('--proposal_id', required=True, type=int, help='The proposal id to generate report to.')
parser.add_argument('--template', default=DEFAULT_TEMPLATE_PATH, help='The report template to use.')
parser.add_argument('--save_to', type=Path, help='Specify where to save the report.')
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please change naming.
generate_report_path can be an option.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

done

@nivcertora nivcertora self-requested a review December 31, 2024 13:48
@liav-certora liav-certora merged commit 067f224 into main Dec 31, 2024
2 checks passed
@liav-certora liav-certora deleted the liav/cert-7766 branch December 31, 2024 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants