Memalloy: run compilers in outer loop

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Memalloy: run compilers in outer loop #23

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 6 years ago

We currently have two loops in memalloy mode: an outer loop on C witnesses, and an inner loop on compilers. Flipping the loops around so that all of the invocations of one compiler are kept together will make it easier to optimise things later on.

MattWindsor91 commented 5 years ago

Done.