Skip to content

Initial draft of RA testrunner without parameter support. #97

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
Open
wants to merge 14 commits into
base: main
Choose a base branch
from
Open

Initial draft of RA testrunner without parameter support. #97

wants to merge 14 commits into from

Conversation

@00oskpet
Copy link
Contributor

@00oskpet 00oskpet commented May 25, 2025

Essentially a cut down version of TestRunnerStandard with minor modifications. Uses AlphabetBuilderTransformer to convert inputs.

@00oskpet
Copy link
Contributor Author

00oskpet commented May 25, 2025

CI fails due to missing JavaDoc comments, I'll add those tomorrow when I have more time.

00oskpet and others added 13 commits October 27, 2025 14:22
@00oskpet
DataWordSULWrapper, copied from StateFuzzerComposerRA
967445e 
NOTE: We might want to use this class in StateFuzzerComposerRA now that
it exists as a standalone component
@00oskpet
Create MembershipOracleWrapper,
b5646c0 
wraps a RALib SULOracle to make it behave like a MembershipOracle required by TestRunner
@00oskpet
Initial draft of RA testrunner, cut down version of TestRunnerStandard
83b5621
@00oskpet
Add javadoc parameter alphabetBuilderTransformer
6807854
@00oskpet
Javadoc comments for MembershipOracleWrapper
b975d4f
@00oskpet
mvn spotless:apply
5ef7ad2
@00oskpet
Use imported class DataWordSulWrapper and remove the static nested one
bb4e5c0
@00oskpet
Remove testSpec and Mapper since they are unused,
1d1e869 
set inputTransformer class variable in constructor
@00oskpet
Override answerQuery instead of processQueries, since trace takes an
58b4266 
input word.
@00oskpet
Interlace dummy output symbols in the input sequence so trace does not
2f332fb 
skip inputs
@pfg666 @00oskpet
Fix test parser bug when parsing test files meants for the RA test ru…
4c6c330 
…nner
@pfg666 @00oskpet
Simplfy TestRunnerRA, change name to MembershipOracleWrapperRA, move …
71a8f85 
…into this class some functionality (add output placeholder) from TestRunnerRA
@00oskpet
update name of sulBuilder.build() to sulBuilder.buildSul()
7de5186
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@00oskpet @pfg666