-
Erwan Jahier authored
Parent-Version: 0.51 Version-Log: Remove the necessity to provide an oracle when the user does not have any assertion to check. To do that, I parse the sut file and automatically generates a fake oracle that answers always true. Project-Description: Lurette
edc79032