gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Cleaner synthesis tests script #34

Closed gaperez64 closed 1 year ago

gaperez64 commented 1 year ago

In the process script used for the tests, the BASE directory should be a parameter which can then be given by the meson test setup as being the source directory. Then, the temporary directory can be a bit more robust by using bash to create a new temporary directory.

https://github.com/gaperez64/acacia-bonsai/blob/5667b871a61e543169eff6a83c6b99419b947cb3/tests-synth/process#L10-L12