# Expected outcomes for Python CBMC pipeline tests.
# Format: <basename>.py.ion <PASS|FAIL|SKIP>
# PASS = VERIFICATION SUCCESSFUL expected
# FAIL = VERIFICATION FAILED expected (known limitations)
# SKIP = pipeline error expected (test not yet supported)

test_arithmetic.py.ion          FAIL
test_comparisons.py.ion         FAIL
test_control_flow.py.ion        FAIL
test_missing_models.py.ion      SKIP
test_strings.py.ion             FAIL
test_function_def_calls.py.ion  SKIP
test_precondition_verification.py.ion SKIP
missing_required_param.py.ion   SKIP
test_class_decl.py.ion          SKIP
test_datetime.py.ion            SKIP
test_foo_client_folder.py.ion   SKIP
test_invalid_client_type.py.ion SKIP
test_unsupported_config.py.ion  SKIP
test_return_types.py.ion        SKIP
test_default_params.py.ion      SKIP
test_dict_operations.py.ion     SKIP
test_class_methods.py.ion       SKIP
test_boolean_logic.py.ion       SKIP
test_multiple_except.py.ion     SKIP
test_for_loop.py.ion            SKIP
test_while_loop.py.ion          SKIP
test_nested_calls.py.ion        SKIP
test_multi_function.py.ion      SKIP
test_class_with_methods.py.ion  SKIP
test_module_level.py.ion        SKIP
test_if_elif.py.ion             SKIP
test_variable_reassign.py.ion   SKIP
test_datetime_now_tz.py.ion     SKIP
test_timedelta_expr.py.ion      SKIP
test_multi_assign.py.ion        FAIL
test_multi_assign_triple.py.ion FAIL
test_multi_assign_side_effect.py.ion SKIP
