Verified Commit c10d13c1 authored by ubduq's avatar ubduq

Correct input file names for big test cases

To be recognized by mjtest, the input files need to be numbered.
parent e1979f10
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment