ta0kira / zeolite

Zeolite is a statically-typed, general-purpose programming language.
Apache License 2.0
18 stars 0 forks source link

Include info about the specific `unittest` in `--log-traces`. #148

Closed ta0kira closed 2 years ago

ta0kira commented 3 years ago

This will be useful for situations where someone wants to know if a specific test has executed a specific line of code.

The unittest name can be retrieved from argv (not Argv), but that won't say anything about which testcase it came from. Maybe the context for the unittest can also be passed as an argument.

It might make sense to just log all of argv, after the dynamic fields. The main issue here is that there will need to be a match between the header (written in RunCompiler.hs), the binary execution (called in TestRunner.hs), and the logging (done in logging.cpp.)

ta0kira commented 2 years ago

This might not be all that useful. I'll reopen if I can think of a good reason to add it.