add log for distance oracle in main binary
Passed
Benjamin Gallois
created pipeline for commit 7d19364a
, finished
Related merge request !290 to merge fix-262
28 minutes 26 seconds, queued for 4 seconds