Automatically check programs for equivalence


Developed and maintained as part of the IMPROVE project by Mattias Ulbrich, Vladimir Klebanov and Moritz Kiefer.

(examples suffixed with ! contain programs that do not behave equally)

or enter two programs:

Your programs are sent to the server. Please be a little patient for the answer…

llrêve checks automatically whether two C programs behave equally. For details take a look at the Usage page.