ImperialCollegeLondon / ImperialCollegeLondon/Visual2
Testing with Pydgin
- 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