Hi, when I imported the Amandroid source (including Sireum repositories), there are many errors mark,
The tutorial ("http://amandroid.sireum.org/docs/tutorial.html") says that I can "Just make sure you are using correct Java compiler version, and then clean all projects."
I sure that the Java compiler version is 1.8, but I still can't solve these errors.
Hi, when I imported the Amandroid source (including Sireum repositories), there are many errors mark, The tutorial ("http://amandroid.sireum.org/docs/tutorial.html") says that I can "Just make sure you are using correct Java compiler version, and then clean all projects."
I sure that the Java compiler version is 1.8, but I still can't solve these errors.