Automatically check programs for equivalence

llrêve

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…
Checking

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