We should have test cases of example contracts that contain the inputs and the expected outputs. When fed into each Data Provider's verification pipeline, the resulting database rows must match the expected outputs laid out in the test cases.
AFAIK there are some existing test cases from Blockscout for this. Let's add them to https://github.com/verifier-alliance/tests with instructions how to interpret this data.
Assigning @rimrakhimov and @marcocastignoli as they already went over these tests
We should have test cases of example contracts that contain the inputs and the expected outputs. When fed into each Data Provider's verification pipeline, the resulting database rows must match the expected outputs laid out in the test cases.
AFAIK there are some existing test cases from Blockscout for this. Let's add them to https://github.com/verifier-alliance/tests with instructions how to interpret this data.
Assigning @rimrakhimov and @marcocastignoli as they already went over these tests