tomsik68 opened this issue 6 years ago · 1 comments
Use CBMC to test that resulting C program is equal to a C program translated to LLVM IR and then back to C.
we can now test with csmith or as a part of symbiotic. that's enough.