jade 78513b1fc8 repl_characterization: eat newlines after commands and source-dir paths ... This is because they are unrepresentable in the source files with commentary but not in the output, so we should just eat them in normalization. It's ok. Change-Id: I2cb7e8b3fc7b00874885bb287cbaa200b41cb16b		2024-03-15 12:31:16 -07:00
..
data	repl_characterization: eat newlines after commands and source-dir paths	2024-03-15 12:31:16 -07:00
.gitignore	Implement a parser for a literate testing system for the repl	2024-03-14 14:30:38 -07:00
local.mk	Implement a parser for a literate testing system for the repl	2024-03-14 14:30:38 -07:00
repl_characterization.cc	repl_characterization: eat newlines after commands and source-dir paths	2024-03-15 12:31:16 -07:00
test-session.cc	Implement a repl characterization test system	2024-03-15 12:31:16 -07:00
test-session.hh	Implement a repl characterization test system	2024-03-15 12:31:16 -07:00