Move tools for SMT interface and symbolic execution from tutorial to main tool directory

Open didriklundberg opened this issue 5 years ago • 2 comments

SMT interface and symbolic execution stuff is left in the support and support2 directories of the tutorial. We need to decide where to place these things.

Oct 28 '20 18:10 didriklundberg

Just a note: these two are a (now not anymore working) copy-fork of the scamv symbexec subdirectory. It should be checked but there should be nothing additional there. I forgot why I needed to copy it at the time.

Oct 28 '20 18:10 andreaslindner

Just a note: these two are a (now not anymore working) copy-fork of the scamv symbexec subdirectory. It should be checked but there should be nothing additional there. I forgot why I needed to copy it at the time.

Good to know.

Oct 28 '20 19:10 didriklundberg