Commit 2023-08-02 16:24 861ad0cd
View on Github →feat: improve error messages of tauto
(#5965)
Modify tauto
to throw an error message "tauto failed to solve some goals" if it fails.
feat: improve error messages of tauto
(#5965)
Modify tauto
to throw an error message "tauto failed to solve some goals" if it fails.