(test
 (name test_lexing) ; TODO: change back to test_chadprover
 (libraries chadprover))