jf_relation::gadgets

Module test_utils

Expand description

Utils for test

Functions§

test_variable_independence_for_circuit: two circuit with the same statement should have the same extended permutation polynomials even with different variable assignment