Invariant testing framework fails to leverage parallel solving and re-architect checks inefficiently
Invariant testing framework fails to leverage parallel solving and re-architect checks inefficiently: a task in LegoFlow-SWE (Harbor dataset). The current invariant checking pipeline is separate from the regular test execution and does not utilize the existing parallel solving infrastructure. It…
The task
The current invariant checking pipeline is separate from the regular test execution and does not utilize the existing parallel solving infrastructure. It computes frontier states for each depth sequentially and then runs all invariant tests against those states in a single batch, without caching computed states…
Part of Lego-X/LegoFlow-SWE.