Quoting Makarius <makar...@sketis.net>:
In principle everything is possible, but one needs to try hard to minimize "options" and "features". Otherwise it becomes impossible to maintain robustness of the application. There are no proper automated test procedures, which means I usually play through all the important things manually (on 3 platform families).
Java provides support for GUI tests through a Robot class, and there are frameworks out there since everybode has this problem. It'll sure be worth investigating automatic testing (student project?).
Clemens _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
