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.