-
jhugues authored
* Add new flag -real_continue_eval to continue evaluation of theorems in case of failures git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3585 129961e7-ef38-4bb5-a8f7-c9a525a55882
89c4cd44
* Add new flag -real_continue_eval to continue evaluation of theorems in case of failures git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3585 129961e7-ef38-4bb5-a8f7-c9a525a55882