cucapra / cucapra/protocols

[Monitor] Double-check well-formedness of protocols for Brave New World bugs by running them through interpreter

Open
#185 0 comments 0 reactions 1 assignee Claimed by @ngernest View on GitHub
Chore
Dominant language
Rust
Stars
15
Forks
0
Avg merge
6h 20m
Merged PRs (30d)
15

Description

Some of them don't end with `step` as Nikil pointed out in #180 [here](https://github.com/cucapra/protocols/pull/180#discussion_r2806818223), so I should double check them by running them through the interpreter

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.