The fuzzer and delitmusifier both have large swathes of code dedicated to finding all of the local and global typed-variables from a C litmus test. This is both redundant and prone to divergence of implementation later on, so it'd be good to fix this sooner rather than later.
The fuzzer and delitmusifier both have large swathes of code dedicated to finding all of the local and global typed-variables from a C litmus test. This is both redundant and prone to divergence of implementation later on, so it'd be good to fix this sooner rather than later.