Add correctness check to final test

Federico Ficarelli requested to merge develop into main

Merge request reports