Right now there is no validation for Automata testing configs.
const finiteAutomataTest = new FiniteAutomataTest();
finiteAutomataTest.test([
{
automaton: null,
options: {
type: 'generate',
range: {
maxLength: 10,
},
outputFiles: {
input: false,
rejected: false,
incorrect: false,
},
},
},
]);
- Not passing the logs directory should throw an error.
- Not passing a valid automaton should throw an error
- Not passing
type for options would throw an error
- Not passing
file, generate or custom for options.type would throw an error.
- For
file, generate or custom options.type the relevant properties must be present
- When
options.type is generate and random we should check whether total number of unique random numbers can be generated from the given minLength and maxLength
Right now there is no validation for Automata testing configs.
typeforoptionswould throw an errorfile,generateorcustomforoptions.typewould throw an error.file,generateorcustomoptions.typethe relevant properties must be presentoptions.typeisgenerateandrandomwe should check whethertotalnumber of unique random numbers can be generated from the givenminLengthandmaxLength