project1
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| project1 [2018/01/26 22:44] – franck | project1 [2018/01/31 02:31] (current) – franck | ||
|---|---|---|---|
| Line 17: | Line 17: | ||
| * Run JPF on the HelloWorld class of the default package. | * Run JPF on the HelloWorld class of the default package. | ||
| * Print the state space the created app. | * Print the state space the created app. | ||
| + | |||
| + | Note: it seems that the version of Java is important (see [[https:// | ||
| + | To determine which version of Java is used by eclipse, you can run the following app in eclipse. | ||
| + | <code java> | ||
| + | public class Version { | ||
| + | public static void main(String[] args) { | ||
| + | System.out.println(System.getProperty(" | ||
| + | } | ||
| + | } | ||
| + | </ | ||
project1.1517006684.txt.gz · Last modified: by franck