Skip to content

Fix compatibility issues in reproduce and the ZK custom oracle#407

Merged
tylergu merged 2 commits into
mainfrom
fix-compatibilities
Jun 28, 2025
Merged

Fix compatibility issues in reproduce and the ZK custom oracle#407
tylergu merged 2 commits into
mainfrom
fix-compatibilities

Conversation

@tylergu

@tylergu tylergu commented Jun 27, 2025

Copy link
Copy Markdown
Member

fixes #405 #406

Acto's interface had some changes and some places were missing the migration.

Signed-off-by: Tyler Gu <jiaweig3@illinois.edu>
@github-actions

github-actions Bot commented Jun 27, 2025

Copy link
Copy Markdown
Contributor

Coverage report

Click to see where and how coverage changed

FileStatementsMissingCoverageCoverage
(new stmts)
Lines missing
  acto
  engine.py
  reproduce.py 10, 18-19, 32, 45, 119, 154-186, 246, 323
  acto/checker/impl
  consistency.py
Project Total  

This report was generated by python-coverage-comment-action

@tianyin

tianyin commented Jun 27, 2025

Copy link
Copy Markdown
Member

@tylergu Feel free to merge it.

Signed-off-by: Tyler Gu <jiaweig3@illinois.edu>
@tylergu tylergu force-pushed the fix-compatibilities branch from 849e49f to 6cbcf61 Compare June 28, 2025 17:39
@tylergu tylergu merged commit 1c68118 into main Jun 28, 2025
4 checks passed
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.

ImportError: cannot import name 'Checker' in oracle.py for Zookeeper Operator

2 participants