@@ -323,14 +323,14 @@ def main():
323323 parser .add_argument (
324324 "--split" , required = True , type = str , choices = ["complete" , "instruct" ]
325325 )
326- parser .add_argument ("--subset" , default = "full " , type = str , choices = ["full" , "hard" ])
326+ parser .add_argument ("--subset" , default = "hard " , type = str , choices = ["full" , "hard" ])
327327 parser .add_argument ("--samples" , required = True , type = str )
328328 parser .add_argument ("--save_pass_rate" , action = "store_true" )
329329 parser .add_argument ("--parallel" , default = None , type = int )
330330 parser .add_argument ("--min-time-limit" , default = 1 , type = float )
331- parser .add_argument ("--max-as-limit" , default = 128 * 1024 , type = int )
332- parser .add_argument ("--max-data-limit" , default = 4 * 1024 , type = int )
333- parser .add_argument ("--max-stack-limit" , default = 5 , type = int )
331+ parser .add_argument ("--max-as-limit" , default = 30 * 1024 , type = int )
332+ parser .add_argument ("--max-data-limit" , default = 30 * 1024 , type = int )
333+ parser .add_argument ("--max-stack-limit" , default = 10 , type = int )
334334 parser .add_argument (
335335 "--check-gt-only" , action = "store_true" , help = "Check the ground truth"
336336 )
0 commit comments