ImperialCollegeLondon / ImperialCollegeLondon/Visual2

Testing with Pydgin

Open
#26 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
F#
Stars
49
Forks
7
PR merge metrics
No merged PRs in 30d

Description

For more flexibility in the future it would be good to modify VisualRandomTestGen to use Pydgin simulators: https://github.com/cornell-brg/pydgin.

That would make it easier to test arbitrary instruction sets.

I suppose also a more long-term project would be to re-implement Pydgin simulators directly in Visual2 so that Pydgin definitions could directly generate instruction parse and simulation.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating VisualRandomTestGen and reviewing how it currently performs simulator-based testing. Read the linked Pydgin project to determine the integration boundary; done would mean VisualRandomTestGen can test arbitrary instruction sets through Pydgin simulators. Treat direct reimplementation of Pydgin simulators in Visual2 as a separate long-term scope.

Written by the indexing model from the issue text.

Assessment

Tech stack
fsharp
Domain
compilers, testing-qa
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.