simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(main): method for measuring memory overhead was wrong

Browse source
This commit is contained in:
Simon Cruanes 2022-08-31 00:47:11 -04:00
parent 34ad038d9a
commit 52b60c4114
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smtlib/Process.ml
View file

@ -166,7 +166,7 @@ let solve ?gc:_ ?restarts:_ ?proof_file ?(pp_model = false) ?(check = false)
if Sys.time () -. t1 > time then ( if Sys.time () -. t1 > time then (
Log.debugf 0 (fun k -> k "timeout"); Log.debugf 0 (fun k -> k "timeout");
true true
) else if (Gc.quick_stat ()).Gc.major_words *. 8. > memory then ( ) else if float (Gc.quick_stat ()).Gc.heap_words *. 8. > memory then (
Log.debugf 0 (fun k -> k "%S" "exceeded memory limit"); Log.debugf 0 (fun k -> k "%S" "exceeded memory limit");
true true
) else ) else