I am developing in Alloy - I've been using models successfully with an SQL adapter. Unfortunately, in the last model I defined a column's field type wrong (INT vs VARCHAR). This is only a problem locally as I've corrected my model's columns in the model, but Im blocked until this SQL can be updated.
Please can someone advise on the best practice to bring my sqlite DB back in-line with my intended columns? For example:
:: Should I remove the DB completely and let Alloy rebuild the tables? :: Should I manually alter the tables? :: Do I need to implement some migration? (This feels very, very wrong!)
Also, I haven't been able to find out where the local version of the sqlite db lives. Finding out this location would be very handy! Thank you.
(It may be worth noting that I have no data in my current DB that I'll miss if it were to be erased).
