Testing compliance in JModelica.org