Correct Input File Names for Benchmarks
In order to be recognized by mjtest, the input file names associated with test cases need to be numbered, i.e. end in .0.inputc
instead of simply .inputc
.
In order to be recognized by mjtest, the input file names associated with test cases need to be numbered, i.e. end in .0.inputc
instead of simply .inputc
.
This will create a new commit in order to revert the existing changes.