Added switch file support for Victor
Victor now reads per-unit switch files which can be used to tailor
options to a specific unit. For example, you may want to use cvc3
for a particular unit and a step limit of only 250 for another.
AdaCore - The GNAT Pro Company
Home | Download | Developers | Academia | Ada Answers | Tools | News | Contact