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

Activity

1. didriklundberg

   added

   enhancement

   on Oct 28, 2020
2. didriklundberg

   assigned

   andreaslindner

   on Oct 28, 2020
3. andreaslindner commented on Oct 28, 2020

   

   andreaslindner

   on Oct 28, 2020

   Member

   More actions

   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.
4. didriklundberg commented on Oct 28, 2020

   

   didriklundberg

   on Oct 28, 2020

   MemberAuthor

   More actions

   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.