added injectivity error

ArmborstL committed Feb 27, 2023

Updated Common VerCors error messages (markdown)

bobismijnnaam committed Jul 8, 2021

Change title from "What does this VerCors error message mean?" to a Windows-friendly one without question mark

ArmborstL committed Oct 6, 2020