When I encountered this bug and closed VSCode, the vscoqtop process kept using the memory until I killed it manually.
Additionally, whenever I re-open VSCoq, it seemingly tries to resume this operation and so uses all available memory. There is no way to run VSCoq normally. Even when vscoqtop crashes from a lack of memory, it immediately restarts and begins using all available memory once again. This occurs even after I restart my computer and when I uninstall/reinstall VSCoq.
(This may be related to https://github.com/coq-community/vscoq/issues/746)
I have encountered a bug where Coq uses all available memory and hangs (see https://github.com/coq/coq/issues/18838 for the example).
When I encountered this bug and closed VSCode, the
vscoqtop
process kept using the memory until I killed it manually. Additionally, whenever I re-open VSCoq, it seemingly tries to resume this operation and so uses all available memory. There is no way to run VSCoq normally. Even whenvscoqtop
crashes from a lack of memory, it immediately restarts and begins using all available memory once again. This occurs even after I restart my computer and when I uninstall/reinstall VSCoq.