Refactor to_dict method in EpsilonStatus class#163

Merged

henba1 merged 8 commits intomainfrom

henba1-patch-obtained_labels

Jan 13, 2026

Commits on Nov 20, 2025

Refactor to_dict method in EpsilonStatus class to
henba1
authored
Modify the AutoVerifyModule.verify() method to extract the label from the counter example and populate obtained_labels in the CompleteVerificationData
henba1
authored

Commits on Nov 24, 2025

Address CodeCov: Cover to_dict in epsilon_status and unwrap of SAT result in auto_verify_module verify() with tests
henba1
committed

Commits on Nov 25, 2025

Address PR review @Aaron99B
henba1
committed

Commits on Nov 26, 2025

Merge branch 'main' into henba1-patch-obtained_labels
henba1
authored

Commits on Nov 27, 2025

Commits on Jan 13, 2026

Merge branch 'main' into henba1-patch-obtained_labels
henba1
authored