"""
Task presets for the CorrectBench paper-style experiments.
"""

FSM_PROTOCOL_TASKS = [
    "2012_q2fsm",
    "2013_q2afsm",
    "2013_q2bfsm",
    "2014_q3bfsm",
    "2014_q3fsm",
    "fsm1",
    "fsm1s",
    "fsm2",
    "fsm2s",
    "fsm3",
    "fsm3comb",
    "fsm3onehot",
    "fsm3s",
    "fsm_hdlc",
    "fsm_onehot",
    "fsm_ps2",
    "fsm_ps2data",
    "fsm_serial",
    "fsm_serialdata",
    "lemmings1",
    "lemmings2",
    "lemmings3",
    "lemmings4",
    "review2015_fsm",
    "review2015_fsmonehot",
    "review2015_fsmseq",
    "review2015_fsmshift",
]

POSITIVE_CASE_TASKS = [
    "fsm_ps2",
    "lemmings4",
    "lemmings3",
]

NEGATIVE_CASE_TASKS = [
    "ece241_2013_q8",
    "m2014_q6",
    "2014_q3fsm",
]