FStarLang / FStarLang/pal

Ensure that _ghost_stmt only adds ghost code

Open
#95 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
11
Forks
1
Avg merge
2d 3h
Merged PRs (30d)
47

Description

This issue has no description.

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue names the _ghost_stmt entry point but provides no file, test, reproduction, or expected behavior beyond ensuring it only adds ghost code. Start by locating _ghost_stmt in the Rust codebase and tracing its callers and existing tests. Done means its behavior is covered and it does not add non-ghost code.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.