test: ensure full coverage with small and large s

Author: ivokub

std/evmprecompiles/01-ecrecover_test.go

@@ -133,10 +133,12 @@ func TestECRecoverCircuitShortMismatch(t *testing.T) {
 func TestECRecoverCircuitFull(t *testing.T) {
 	assert := test.NewAssert(t)
 	circuit, witness := testRoutineECRecover(t, false)
+	_, witness2 := testRoutineECRecover(t, true)
 
 	assert.CheckCircuit(
 		circuit,
 		test.WithValidAssignment(witness),
+		test.WithValidAssignment(witness2),
 		test.WithCurves(ecc.BN254, ecc.BLS12_377),
 		test.NoProverChecks(),
 	)
@@ -258,6 +260,10 @@ func TestInvalidFailureTag(t *testing.T) {
 	witness.IsFailure = 1
 	err := test.IsSolved(circuit, witness, ecc.BN254.ScalarField())
 	assert.Error(err)
+	_, witness2 := testRoutineECRecover(t, true)
+	witness2.IsFailure = 1
+	err = test.IsSolved(circuit, witness2, ecc.BN254.ScalarField())
+	assert.Error(err)
 }
 
 func TestLargeV(t *testing.T) {