{"action":"opened","issue":{"url":"https://api.github.com/repos/plum-umd/java-sketch/issues/11","repository_url":"https://api.github.com/repos/plum-umd/java-sketch","labels_url":"https://api.github.com/repos/plum-umd/java-sketch/issues/11/labels{/name}","comments_url":"https://api.github.com/repos/plum-umd/java-sketch/issues/11/comments","events_url":"https://api.github.com/repos/plum-umd/java-sketch/issues/11/events","html_url":"https://github.com/plum-umd/java-sketch/issues/11","id":382021997,"node_id":"MDU6SXNzdWUzODIwMjE5OTc=","number":11,"title":"Simple example doesn't produce Java","user":{"login":"TrustyPatches","id":6066983,"node_id":"MDQ6VXNlcjYwNjY5ODM=","avatar_url":"https://avatars3.githubusercontent.com/u/6066983?v=4","gravatar_id":"","url":"https://api.github.com/users/TrustyPatches","html_url":"https://github.com/TrustyPatches","followers_url":"https://api.github.com/users/TrustyPatches/followers","following_url":"https://api.github.com/users/TrustyPatches/following{/other_user}","gists_url":"https://api.github.com/users/TrustyPatches/gists{/gist_id}","starred_url":"https://api.github.com/users/TrustyPatches/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TrustyPatches/subscriptions","organizations_url":"https://api.github.com/users/TrustyPatches/orgs","repos_url":"https://api.github.com/users/TrustyPatches/repos","events_url":"https://api.github.com/users/TrustyPatches/events{/privacy}","received_events_url":"https://api.github.com/users/TrustyPatches/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-11-19T00:58:25Z","updated_at":"2018-11-19T00:58:25Z","closed_at":null,"author_association":"NONE","body":"I'm trying to run the simple example given in the paper and online, but no Java seems to be generated. \r\n\r\nMy input files: \r\n\r\n```\r\nclass SimpleMath {\r\n    static int mult2(int x) {\r\n        return ?? * {| x , 0 |};\r\n    }\r\n}\r\n```\r\n```\r\nclass Test {\r\n    harness static void test() {\r\n        assert SimpleMath.mult2(3) == 6;\r\n    }\r\n}\r\n```\r\n\r\nProcessed with the command: \r\n\r\n`./jsk.sh SimpleMath.java Test.java`\r\n\r\nThe end of the log output I show here (it stops after the 'sketch' phase): \r\n\r\n```\r\n...\r\n12:38:39 [INFO] java_sk/encoder.py:149 => generating main.sk\r\n12:38:39 [INFO] java_sk/encoder.py:152 => writing struct Object\r\n12:38:39 [INFO] java_sk/encoder.py:156 => generating array.sk\r\n12:38:39 [INFO] /usr/local/bin/java-sketch/java_sk/main.py:64 => sk_dir: result/sk_SimpleTest, output_path: result/output/SimpleTest.txt\r\n12:38:39 [INFO] java_sk/sketch.py:31 => sketch running...\r\nsketch result/sk_SimpleTest/main.sk --fe-tempdir result --fe-keep-tmp --fe-output sk_SimpleTest --fe-inc result/sk_SimpleTest\r\n12:38:39 [DEBUG] java_sk/sketch.py:35 => sketch result/sk_SimpleTest/main.sk --fe-tempdir result --fe-keep-tmp --fe-output sk_SimpleTest --fe-inc result/sk_SimpleTest\r\n12:38:40 [INFO] java_sk/sketch.py:39 => sketch done: result/output/SimpleTest.txt\r\n```\r\n\r\nThe paper suggests that processing should continue to generate the actual synthesised Java:\r\n\r\n```\r\n06:07:15 replacing holes\r\n06:07:15 replacing generators\r\n06:07:15 semantics checking\r\n06:07:15 decoding result/java/SimpleMath.java\r\n```\r\n\r\nBut I don't see any of this output, nor any `java` directory or `.java` files.\r\n\r\nIs this functionality incomplete or am I looking in the wrong place? If it worked in a previous version I'd be grateful if you could point me to a working commit. \r\n\r\nMany thanks! "}}
{"actor":{"display_login":"TrustyPatches"}}