fenix-framework/fenix-framework — pull request #130 by smmf (2013-04-29 15:22:32+00:00)
Title: Feature/run all tests with same backend

Enables picking a backend to run all tests, e.g.:

mvn test -Dcode.generator.class=pt.ist.fenixframework.backend.jvstm.JVSTMCodeGenerator

Also, we can select tests to exclude, e.g.:

mvn test -Dcode.generator.class=pt.ist.fenixframework.backend.jvstm.JVSTMCodeGenerator -Dtest.excludes="**/DmlSlotsTest.java,**/NestingTest.java" -pl test -amd