47 lines
733 B
Python
47 lines
733 B
Python
"""
|
|
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",
|
|
]
|
|
|