clean up tslsynth file management

[santolucito]

sometimes uses test and sometimes tmp for intermediate files. really shouldn't be generating intermediate files at all (at least by default).

tsltools/src/tools/tslsynth/Main.hs

Line 55 in 699709b

writeFile "test.tlsf" tlsfSpec

[leoqiao18]

Should we add flags to still provide the option to see these intermediate files?

[santolucito]

yes for sure, they are quite helpful - just should be put in a sensible place and named better than we currently have

…

On Wed, Nov 1, 2023 at 11:35 AM Leo Qiao ***@***.***> wrote: Should we add flags to still provide the option to see these intermediate files? — Reply to this email directly, view it on GitHub <#35 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAIJAPHCCQVVATXRTC3ZH4LYCJT37AVCNFSM6AAAAAARJMPNCWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTOOBZGE3TCOJUHA> . You are receiving this because you were assigned.Message ID: ***@***.***>

[leoqiao18]

Implemented in #60