While we want both depth_oracle and depth_test to work with the same expected-output file, we would like them to use a different shared expected-output file from flip_oracle and flip_test (for example). Turnt's output configuration lets you tell it what extension to use for the saved stdout. For instance:
output.depth = "-"
…will make it use whatever.depth instead of whatever.out. This will be nice because it means we don't have to be careful to run all the different operators separately to avoid clobbering. (It may also be possible to make it use whatever.depth.out or similar if you prefer that aesthetically.)
I also mentioned this in https://github.com/cucapra/pollen/pull/27#pullrequestreview-1373400324, but we can simplify our Turnt testing lives a little bit by making the different operators output different files. Here's what things currently look like: https://github.com/cucapra/pollen/blob/80bee84e31ae15f509a5fd8495b763dec73ddea3/test/turnt.toml#L25-L31
While we want both
depth_oracle
anddepth_test
to work with the same expected-output file, we would like them to use a different shared expected-output file fromflip_oracle
andflip_test
(for example). Turnt's output configuration lets you tell it what extension to use for the saved stdout. For instance:…will make it use
whatever.depth
instead ofwhatever.out
. This will be nice because it means we don't have to be careful to run all the different operators separately to avoid clobbering. (It may also be possible to make it usewhatever.depth.out
or similar if you prefer that aesthetically.)This one should probably also wait until after https://github.com/cucapra/pollen/pull/29 and https://github.com/cucapra/pollen/pull/31 land.