FStarLang / FStarLang/pal

assert support breaks depending on the order of the includes

Open
#87 1 comment 1 reaction 1 assignee Claimed by @copilot-swe-agent View on GitHub
Dominant language
Rust
Stars
11
Forks
1
Avg merge
2d 3h
Merged PRs (30d)
47

Description

If the `#include ` comes after `#include "c2pulse.h"`, then c2pulse fails on assert calls.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.