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.

Sign up for GitHub

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

Jump to bottom

Isolated Environments and Remove the Longest Common Prefix #12

Merged
merged 5 commits into from
Jan 9, 2025
Merged

Isolated Environments and Remove the Longest Common Prefix #12

merged 5 commits into from
Jan 9, 2025

Conversation

H00N24
Copy link
Collaborator

@H00N24 H00N24 commented Jan 8, 2025 •
edited
Loading

In this PR we're:

  1. Adding cp -lRP to create an isolated env for each run.
  2. Removing comment striping.
  3. Removing the longest common prefix from all tables.

Successful executions:

@H00N24 H00N24 requested a review from fnast9 January 8, 2025 14:27
fnast9
fnast9 approved these changes Jan 8, 2025
View reviewed changes
scripts/run-certora.sh Show resolved Hide resolved
scripts/run-certora.sh Outdated Show resolved Hide resolved
@H00N24 H00N24 requested a review from fnast9 January 8, 2025 15:32
@H00N24 H00N24 merged commit 5aa3c70 into main Jan 9, 2025
1 check passed
@H00N24 H00N24 deleted the feat/isolated-envs branch January 9, 2025 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fnast9 fnast9 fnast9 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@H00N24 @fnast9