-
Alexandre Duret-Lutz authored
* tests/core/tostring.test: Move all the input formulas into... * tests/core/tostring.cc: ... the code, and do the loop there.
ad515256
* tests/core/tostring.test: Move all the input formulas into... * tests/core/tostring.cc: ... the code, and do the loop there.