Andrey Breslav f62b3f4a42 Trying to fix tests on Ubuntu agents

2011-11-08 16:23:44 +03:00

..

backend

KT-414 Hello world does not run if defined in an anonymous namesapce

2011-11-08 12:29:27 +03:00

cli

test also looks for Java under JAVA_HOME

2011-11-03 18:47:40 +01:00

frontend

KT-414 Hello world does not run if defined in an anonymous namesapce

2011-11-08 12:29:27 +03:00

frontend.java

Assertion failure fixed on fixpoint generics loaded from Java

2011-11-07 20:16:09 +03:00

testData

Assertion failure fixed on fixpoint generics loaded from Java

2011-11-07 20:16:09 +03:00

tests

Trying to fix tests on Ubuntu agents

2011-11-08 16:23:44 +03:00