search

JuliaDebug / Cthulhu.jl

The slow descent into madness
MIT License
650 stars 41 forks source link

Integrate with SnoopCompile #243

Open Keno opened 2 years ago

Keno commented 2 years ago

SnoopCompile can trace an inference session to determine what was actually inferred during a concrete execution run. It would be useful for the Cthulhu browser to take a SnoopCompile session and offer any MIs that occurred during the concrete execution as additional descend targets, even if inference did not statically see them.

Keno commented 2 years ago

Actually, even simpler, we should add timings while Cthulhu is doing its inferring and optionally display those.