Check multiplicities in mock prover (#2310)

Check multiplicities in the mock prover: - when checking a connection, we count the multiplicities on the caller and callee - if the connection is a PhantomLookup, this involves the multiplicity column. In this case, the multiplicities are checked to match. - otherwise, we count each callee tuple with multiplicity 1. In this case, the multiplicities will probably not match, and that's ok, so we do not check them to be equal.
powdr-labs · Jan 13, 2025 · f795d41 · f795d41
1 parent 3eba5c4
commit f795d41
Show file tree

Hide file tree

Showing 2 changed files with 176 additions and 88 deletions.
diff --git a/backend/Cargo.toml b/backend/Cargo.toml
@@ -77,6 +77,7 @@ num-traits = "0.2.15"
 num-integer = "0.1.45"
 itertools = "0.13"
 rand = "0.8.5"
+derive_more = { version = "1.0.0", features = ["from", "display"] }
 
 [dev-dependencies]
 test-log = "0.2.12"