fix a few copyright headers
* tests/core/ltlcrossgrind.test, tests/core/ltlgrind.test, tests/core/ltlrel.test: Here.
Please register or sign in to comment
* tests/core/ltlcrossgrind.test, tests/core/ltlgrind.test, tests/core/ltlrel.test: Here.