4 ms·Trail of bits is not building anything in program synthesis.by saurabh20n 8y agoTrail of bits is not building anything in program synthesis.