Removing old tests

8a21c0cd · apvrille · Fabien Tessier · 88df9a7e · 8a21c0cd · 8a21c0cd
Commit 8a21c0cd authored 7 years ago by apvrille Committed by Fabien Tessier 7 years ago
--- a/tests/Avatar/AvatarBoolExprTests.java
+++ b/tests/Avatar/AvatarBoolExprTests.java
--- a/tests/Avatar/AvatarGuardTests.java
+++ b/tests/Avatar/AvatarGuardTests.java
--- a/tests/Avatar/AvatarPragmaTests.java
+++ b/tests/Avatar/AvatarPragmaTests.java
--- a/tests/Avatar/AvatarSafetyTests.java
+++ b/tests/Avatar/AvatarSafetyTests.java
--- a/tests/Avatar/ProVerif/typed.txt
+++ b/tests/Avatar/ProVerif/typed.txt
--- a/tests/Avatar/ProVerif/untyped.txt
+++ b/tests/Avatar/ProVerif/untyped.txt
--- a/tests/TToolTest.java
+++ b/tests/TToolTest.java
--- a/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/.classpath
+++ b/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/.classpath
--- a/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/.gitignore
+++ b/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/.gitignore
--- a/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/.project
+++ b/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/.project
--- a/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/.settings/org.eclipse.jdt.core.prefs
+++ b/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/.settings/org.eclipse.jdt.core.prefs
--- a/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/models/test_code_gen_hwa.xml
+++ b/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/models/test_code_gen_hwa.xml
--- a/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/models/test_dma.xml
+++ b/tests/diplodocus/fr.tpt.ttool.tests.diplodocus.simulator/models/test_dma.xml
--- a/tests/test.mk
+++ b/tests/test.mk
--- a/tests/ui/fr.tpt.ttool.tests.ui/.classpath
+++ b/tests/ui/fr.tpt.ttool.tests.ui/.classpath
--- a/tests/ui/fr.tpt.ttool.tests.ui/.gitignore
+++ b/tests/ui/fr.tpt.ttool.tests.ui/.gitignore
--- a/tests/ui/fr.tpt.ttool.tests.ui/.project
+++ b/tests/ui/fr.tpt.ttool.tests.ui/.project
--- a/tests/ui/fr.tpt.ttool.tests.ui/assertj-swing-3.8.0.jar
+++ b/tests/ui/fr.tpt.ttool.tests.ui/assertj-swing-3.8.0.jar
--- a/tests/ui/fr.tpt.ttool.tests.ui/src/fr/tpt/ttool/tests/ui/MoveComponentTest.java
+++ b/tests/ui/fr.tpt.ttool.tests.ui/src/fr/tpt/ttool/tests/ui/MoveComponentTest.java
--- a/tests/util/fr.tpt.ttool.tests.util/.classpath
+++ b/tests/util/fr.tpt.ttool.tests.util/.classpath