HF RL Explorer

Bug: Invariant testing ignores assertion failures in probe functions

Bug: Invariant testing ignores assertion failures in probe functions: a task in LegoFlow-SWE (Harbor dataset). When running invariant tests with probes, assertion failures that occur inside the target contract’s probe functions are silently ignored. This means genuine invariant violations are not…

The task

When running invariant tests with probes, assertion failures that occur inside the target contract’s probe functions are silently ignored. This means genuine invariant violations are not reported to the user, leading to false positives in test outcomes.

Part of Lego-X/LegoFlow-SWE.