Initial draft of RA testrunner without parameter support.#97

Open

00oskpet wants to merge 14 commits intoprotocol-fuzzing:mainfrom

00oskpet:ra-testrunner

Commits on Oct 27, 2025

DataWordSULWrapper, copied from StateFuzzerComposerRA
00oskpet
committed
Create MembershipOracleWrapper,
00oskpet
committed
Initial draft of RA testrunner, cut down version of TestRunnerStandard
00oskpet
committed
Add javadoc parameter alphabetBuilderTransformer
00oskpet
committed
Javadoc comments for MembershipOracleWrapper
00oskpet
committed
mvn spotless:apply
00oskpet
committed
Use imported class DataWordSulWrapper and remove the static nested one
00oskpet
committed
Remove testSpec and Mapper since they are unused,
00oskpet
committed
Override answerQuery instead of processQueries, since trace takes an
00oskpet
committed
Interlace dummy output symbols in the input sequence so trace does not
00oskpet
committed
Fix test parser bug when parsing test files meants for the RA test runner

pfg666
authored and
00oskpet
committed
Simplfy TestRunnerRA, change name to MembershipOracleWrapperRA, move into this class some functionality (add output placeholder) from TestRunnerRA

pfg666
authored and
00oskpet
committed
update name of sulBuilder.build() to sulBuilder.buildSul()
00oskpet
committed

Commits on Oct 28, 2025

Make TestRunnerRA build the sulWrapper using the sulBuilder
00oskpet
committed