I have no experience with Redex (it is one of the things I want to get more familiar with in the future), but I happened to watch this talk: "Finding bugs without running or even looking at code" by Jay Parlar https://www.youtube.com/watch?v=FvNRlE4E9QQ
Maybe a tool like this is interesting to you? I am not sure if it would be helpful for you to model some of your ideas with a tool like in the talk. Maybe it could be useful for especially difficult to imagine combinations of features, or sub problems. Just guessing here... It also reminds me of miniKanren. Anyways good luck with your research! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/f906eac4-e31b-4ac9-a3b2-4d4c66316895%40googlegroups.com.
