Skip to content

Add fuzz test infra - #470

Merged
prozacchiwawa merged 4 commits into
mainfrom
20260507-introspective-constants-fuzz-tests
May 7, 2026
Merged

prozacchiwawa merged 4 commits into
mainfrom
20260507-introspective-constants-fuzz-tests

Conversation

@prozacchiwawa

@prozacchiwawa prozacchiwawa commented May 7, 2026 •

Copy link
Copy Markdown
Contributor

Note

Low Risk
Changes are isolated to test/CI code and a feature-gated optional dependency (subprocess). Main risk is CI flakiness/environment assumptions when invoking the installed 0.4.3 run binary.

Overview
Adds a new GitHub Actions workflow (pre_043_regression.yml) that installs chialisp@0.4.3 and runs a regression test suite with the preserved_043 feature enabled.

Introduces preserved_043 (and optional subprocess dependency) plus a new feature-gated test (cl26_fuzz_compare) that generates random, scope-correct CL26 programs and asserts the current compiler and 0.4.3 compiler produce identical assembled hex output.

Reviewed by Cursor Bugbot for commit b45160c. Bugbot is set up for automated code reviews on this repo. Configure here.

@socket-security

socket-security Bot commented May 7, 2026 •

Copy link
Copy Markdown

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff Package Supply Chain
Security
Vulnerability Quality Maintenance License
Addedcargo/​subprocess@​1.1.09710093100100

View full report

@socket-security

socket-security Bot commented May 7, 2026 •

Copy link
Copy Markdown

All alerts resolved. Learn more about Socket for GitHub.

This PR previously contained dependency changes with security issues that have been resolved, removed, or ignored.

Ignoring alerts on:

  • cargo/winapi@0.3.9
  • cargo/winapi-i686-pc-windows-gnu@0.4.0
  • cargo/winapi-x86_64-pc-windows-gnu@0.4.0

View full report

@prozacchiwawa

Copy link
Copy Markdown
Contributor Author

@SocketSecurity ignore cargo/winapi-i686-pc-windows-gnu@0.4.0

@prozacchiwawa

Copy link
Copy Markdown
Contributor Author

@SocketSecurity ignore cargo/winapi-x86_64-pc-windows-gnu@0.4.0

@prozacchiwawa

Copy link
Copy Markdown
Contributor Author

@SocketSecurity ignore cargo/winapi@0.3.9

@prozacchiwawa
prozacchiwawa marked this pull request as ready for review May 7, 2026 17:27
Comment thread src/tests/compiler/cl26_fuzz_compare.rs Outdated

@cursor cursor Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cursor Bugbot has reviewed your changes and found 1 potential issue.

Fix All in Cursor

❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.

Reviewed by Cursor Bugbot for commit a8eec7b. Configure here.

Comment thread .github/workflows/pre_043_regression.yml
aqk
aqk previously approved these changes May 7, 2026
Base automatically changed from 20260217-introspective-constants to main May 7, 2026 22:12
@prozacchiwawa
prozacchiwawa dismissed aqk’s stale review May 7, 2026 22:12

The base branch was changed.

@prozacchiwawa
prozacchiwawa merged commit 3b1e439 into main May 7, 2026
37 checks passed
@prozacchiwawa
prozacchiwawa deleted the 20260507-introspective-constants-fuzz-tests branch May 7, 2026 23:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants