https://github.com/rbran/icicle-pingu

Icicle-emu tester
https://github.com/rbran/icicle-pingu

Last synced: 2 days ago
JSON representation

Icicle-emu tester

• Host: GitHub
• URL: https://github.com/rbran/icicle-pingu
• Owner: rbran
• Created: 2023-07-24T14:56:03.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-07-29T18:46:07.000Z (over 1 year ago)
• Last Synced: 2023-08-01T03:12:26.836Z (over 1 year ago)
• Language: Rust
• Homepage:
• Size: 5.92 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md

Awesome Lists containing this project

README

        
## Tester for the [Icicle-emu](https://github.com/icicle-emu/icicle-emu) project

This repo contains multiple [musl](https://musl.libc.org/) binaries in `bin`,

each compiled in a diferent architecture using

[musl-cross-make](https://github.com/richfelker/musl-cross-make).

The objective is to implement tests using the musl binary to find errors in the

icicle execution, or prove it's correctness.