map halt(t) to exit(t) rather than assert(0). all test cases except gravity pass with pas2c now
#include <QApplication>
#include "mainform.h"
int main(int argc, char *argv[])
{
QApplication app(argc, argv);
MyWindow *mainWin = new MyWindow;
mainWin->show();
return app.exec();
}