check selector in mixer

This commit is contained in:
poma 2019-11-20 20:27:08 +03:00
parent d0e312eb80
commit c5d1ef7734
No known key found for this signature in database
GPG Key ID: BA20CB01FE165657
1 changed files with 1 additions and 0 deletions

View File

@ -20,6 +20,7 @@ template DualMux() {
signal input s;
signal output out[2];
s * (1 - s) === 0
out[0] <== (in[1] - in[0])*s + in[0];
out[1] <== (in[0] - in[1])*s + in[1];
}