Goose  Artifact [cbed2dda01]

Artifact cbed2dda01521b0b34c0d774f10f70633b0353b58ef7b7d96d1be8823b155a69:

• File tests/g0/verification/ghostfuncs/meson.build — part of check-in [b4d5bdf6ec] at 2022-06-18 18:51:47 on branch cir-stack-language —
  • Added a location id to all CIR instructions (needed with the stack based approach to locate intermediate results)
  • Fixed a bunch of verifier errors
  • Re-enabled most verifier tests, other than some requiring to re-implement a few more bits
  (user: zlodo size: 1034)

# Those tests are supposed to pass verification.
c_tests = [
    'c-test-1',
    'c-test-2',
    'c-test-3',
    # TODO_REENABLE_VERIFY
    #'c-test-4'
]

# Those tests are supposed to fail verification.
c_fail_tests = [
    'c-fail-test-1',
    'c-fail-test-2',
    # TODO_REENABLE_VERIFY
    #'c-fail-test-3',
    'c-fail-test-4',
    'c-fail-test-5',
    'c-fail-test-6'
]

testrunner_fail = find_program( 'test_runner_fail.sh' )
testrunner = find_program( 'test_runner.sh' )

foreach t : c_tests
    file = configure_file( copy: true,
        input: t + '.g0', output: t + '.g0'
    )

    test( 'g-g0-verification-ghostfuncs-' + t, testrunner,
        args: [ goose, 'tests/g0/verification/ghostfuncs/' + t ]
    )
endforeach

foreach t : c_fail_tests
    file = configure_file( copy: true,
        input: t + '.g0', output: t + '.g0'
    )

    test( 'g-g0-verification-ghostfuncs-' + t, testrunner_fail,
        args: [ goose, 'tests/g0/verification/ghostfuncs/' + t + '.g0',
            files( t + '.txt' ) ]
    )
endforeach