Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Added heartbeat options
Browse files Browse the repository at this point in the history
Eagle941 committed Sep 12, 2023
1 parent 8fbcabd commit fa264cb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion extractor/lean_export.go
Original file line number Diff line number Diff line change
@@ -29,7 +29,7 @@ import ProvenZk.Ext.Vector
namespace %s
set_option maxRecDepth 1200
set_option maxHeartbeats 2000000
set_option maxHeartbeats 20000000
def Order : ℕ := 0x%s
variable [Fact (Nat.Prime Order)]

0 comments on commit fa264cb

Please sign in to comment.