max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

test: fix simp_arith1 benchmark (#7049)

Browse source
This commit is contained in:
Sebastian Ullrich 2025-02-12 11:22:32 +01:00 • committed by GitHub
parent 01be97309e
commit d3af1268a7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/bench/simp_arith1.lean
View file

@ -26,4 +26,4 @@ set_option maxRecDepth 10000
-- set_option trace.profiler true
example : largeGoal% := by
intros
simp_arith only
simp +arith +decide only