Test long-running behaviour of the REPL executable #210

New Issue

aniva · 2025-06-17T10:30:04-07:00

aniva commented

2025-06-17 10:30:04 -07:00

Some users report problems when the REPL executable runs for too long. We should have some testing to guard this matter.

I suspect that its because of the heartbeat mechanism in Lean and could be solved by setNumHeartbeats to 0

Some users report problems when the REPL executable runs for too long. We should have some testing to guard this matter. I suspect that its because of the heartbeat mechanism in Lean and could be solved by `setNumHeartbeats` to 0

aniva added the

part/REPL

category

feature

labels 2025-06-17 10:30:04 -07:00

aniva self-assigned this 2025-06-17 10:30:04 -07:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: aniva/Pantograph#210