in order to rerun the tests, install SML-New-Jersey (we used v110.99.4 on a Mac-OS arm machine), 
and patch ./execute_tests.sh to select your architecture (ARCH)

./execute_tests.sh

note that the files in the src-directory are mostly from AGCP, except for the pat_complete_tests directory: here
- pat_complete.sml contains our decision procedure, it is verified generated code from Isabelle
- pat_test.sml is hand-written and invokes either our decision procedure or the complement algorithm within AGCP
