\i Infrastructure-TestHeader.sql

\echo '$Id: 0-integrity-ExtraneousInput.sql 95 2007-03-19 13:59:35Z dflater $'
\echo
\echo 'Verify that ballots containing votes in contests not authorized'
\echo 'are detected by the integrity check.  The "All results should be'
\echo 'empty" notice does not apply to this test case.  Refer instead to'
\echo 'the "Expected results" printed at the bottom.'

\i 0-integrity-common.sql

-- District 2 is not supposed to have contest 2.
insert into VoterInput (BallotId, ChoiceId, Value) values
  (12, 4, 1);

\i Infrastructure-IntegrityChecks.sql

\echo 'Expected results:'
\echo '      Extraneous Inputs'
\echo ' ballotid | choiceid | value '
\echo '----------+----------+-------'
\echo '       12 |        4 |     1'
\echo '(1 row)'

\i Infrastructure-TestFooter.sql
