Generates `tmp` dir with `logfile-NN.smt` files
JonasAlaif opened this issue · 0 comments
JonasAlaif commented
When running silicon (in the IDE) it generates a tmp dir with logfiles on the default settings. This is pretty annoying
JonasAlaif opened this issue · 0 comments
When running silicon (in the IDE) it generates a tmp dir with logfiles on the default settings. This is pretty annoying