Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Provide a basic conformance test suite #47

Open
3 tasks
ghost opened this issue Oct 16, 2024 · 0 comments
Open
3 tasks

Provide a basic conformance test suite #47

ghost opened this issue Oct 16, 2024 · 0 comments
Assignees
@WhatisRT @yveshauser
Labels
PI Goal
Milestone
PI8

Comments

@ghost
Copy link

ghost commented Oct 16, 2024 •
edited by yveshauser
Loading

Details

  • Write conformance test driver using Agda spec as an oracle
  • Define interesting scenarios and relevant generators
    • Requires defining interesting properties we want to assert of the implementations
    • Focus on adversarial conditions and scenarios
  • provide needed drivers for both Haskell and Rust prototypes/simulators
  • Explore possible approach to conformance testing for Leios #42

Definition of Done

We can run tests against prototypes and demonstrate they respect expected properties.
@ghost ghost added this to the PI8 milestone Oct 16, 2024
@ghost ghost added PI Goal draft labels Oct 16, 2024
@bwbush bwbush assigned bwbush, WhatisRT and yveshauser and unassigned bwbush Oct 30, 2024
@yveshauser yveshauser removed the draft label Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@WhatisRT WhatisRT

@yveshauser yveshauser

Labels
PI Goal
Projects
None yet
Milestone
PI8
Development

No branches or pull requests
3 participants
@WhatisRT @yveshauser @bwbush