diff options
Diffstat (limited to 'test/regress/regress1/ho/bound_var_bug.p')
| -rw-r--r-- | test/regress/regress1/ho/bound_var_bug.p | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress1/ho/bound_var_bug.p b/test/regress/regress1/ho/bound_var_bug.p index 0dc946d6a..23bda7fb2 100644 --- a/test/regress/regress1/ho/bound_var_bug.p +++ b/test/regress/regress1/ho/bound_var_bug.p @@ -1,4 +1,3 @@ -% COMMAND-LINE: --uf-ho % EXPECT: % SZS status GaveUp for bound_var_bug % TIMEFORMAT='%3R'; { time (exec 2>&1; /Users/blanchette/misc/leo --foatp e --atp e="$E_HOME"/eprover --atp epclextract="$E_HOME"/epclextract --proofoutput 1 --timeout 30 /Users/blanchette/hgs/afp_mining/tools/judgment_day_2017/data_afp/leo2-mepo/Call_Arity_SestoftGC_data/prob_308__3244432_1 ) ; } |