Skip to content

Instantly share code, notes, and snippets.

@KoviRobi
Last active October 21, 2024 17:25
Show Gist options
  • Save KoviRobi/08b503400d15b6f43d9fde5540f91928 to your computer and use it in GitHub Desktop.
Save KoviRobi/08b503400d15b6f43d9fde5540f91928 to your computer and use it in GitHub Desktop.
<style>
@media (prefers-color-scheme: dark) {
body {
background-color: #002b36;
color: #fdf6e3;
}
}
@media (prefers-color-scheme: light) {
body {
background-color: #fdf6e3;
color: #002b36;
}
}
span.red {
color: #dc322f;
}
span.green {
color: #859900;
}
span.yellow {
color: #b58900;
}
span.blue {
color: #268bd2;
}
</style>
<pre>
<span class="green">❯</span> <span class="green">./result/bin/pystack</span> core <span style="text-decoration: underline">coq.core</span>
Using executable found in the core file: /nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/bin/python3.12
<span class="blue">Core file information:</span>
state: <span class="green">D</span> zombie: <span class="green">True</span> niceness: <span class="green">0</span>
pid: <span class="green">3316319</span> ppid: <span class="green">3316316</span> sid: <span class="green">3316319</span>
uid: <span class="green">1000</span> gid: <span class="green">1000</span> pgrp: <span class="green">3316319</span>
executable: <span class="green">python3.12</span> arguments: <span class="green">/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/bin/python3.12 -s -u</span>
<span class="yellow">The process died due receiving signal</span> <span class="red">SIGQUIT</span> <span class="yellow">sent by pid</span> <span class="red">3272790</span>
Traceback for thread 3316365 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316364 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316363 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316362 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316361 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316360 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316359 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316358 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316357 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316356 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316355 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316354 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316352 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316351 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316350 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316348 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316347 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316346 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316345 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316344 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316343 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316342 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316341 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316340 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316339 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316338 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316337 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316334 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/concurrent/futures/thread.py", line 89, in <span class="yellow">_worker</span>
work_item = <span class="blue">work_queue.get(block=True)</span>
Traceback for thread 3316333 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316332 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316331 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1986, in <span class="yellow">_run_once</span>
<span class="blue">handle._run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/events.py", line 88, in <span class="yellow">_run</span>
<span class="blue">self._context.run(self._callback, *self._args)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/clients/snippet/worker.py", line 45, in <span class="yellow">cont</span>
<span class="blue">self._db.populate(path, mtime=mtime, loaded=loaded)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/clients/snippet/db/database.py", line 79, in <span class="yellow">populate</span>
<span class="blue">cursor.execute(</span>
Traceback for thread 3316330 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316329 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316328 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316327 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316326 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316325 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316324 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316323 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/shared/executor.py", line 36, in <span class="yellow"><lambda></span>
self._th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316320 [] (most recent call last):
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1032, in <span class="yellow">_bootstrap</span>
<span class="blue">self._bootstrap_inner()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1075, in <span class="yellow">_bootstrap_inner</span>
<span class="blue">self.run()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/threading.py", line 1012, in <span class="yellow">run</span>
<span class="blue">self._target(*self._args, **self._kwargs)</span>
<span class="green">(Python)</span> File "/nix/store/18scr3q2jc169whd8hlca2cbfyhwrw1j-python3-3.12.5-env/lib/python3.12/site-packages/pynvim_pp/nvim.py", line 285, in <span class="yellow"><lambda></span>
th = Thread(daemon=True, target=lambda: <span class="blue">run(cont()))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
Traceback for thread 3316319 [] (most recent call last):
<span class="green">(Python)</span> File "<frozen runpy>", line 198, in <span class="yellow">_run_module_as_main</span>
<span class="green">(Python)</span> File "<frozen runpy>", line 88, in <span class="yellow">_run_code</span>
<span class="green">(Python)</span> File "/nix/store/90p08f7j3mzs8magsjp5j9nrw5dlvf27-vimplugin-coq_nvim-2024-10-05/coq/__main__.py", line 180, in <span class="yellow"><module></span>
<span class="blue">arun(init(args.socket, ppid=args.ppid, th=th))</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 194, in <span class="yellow">run</span>
return <span class="blue">runner.run(main)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/runners.py", line 118, in <span class="yellow">run</span>
return <span class="blue">self._loop.run_until_complete(task)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 674, in <span class="yellow">run_until_complete</span>
<span class="blue">self.run_forever()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 641, in <span class="yellow">run_forever</span>
<span class="blue">self._run_once()</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/asyncio/base_events.py", line 1948, in <span class="yellow">_run_once</span>
event_list = <span class="blue">self._selector.select(timeout)</span>
<span class="green">(Python)</span> File "/nix/store/h3i0acpmr8mrjx07519xxmidv8mpax4y-python3-3.12.5/lib/python3.12/selectors.py", line 468, in <span class="yellow">select</span>
fd_event_list = <span class="blue">self._selector.poll(timeout, max_ev)</span>
</pre>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment