René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"division by zero exception","articleBody":"I noticed that kjtest.sh produces a generator error, when a division by zero is performed, which makes it really difficult to find the problem.  Would it be possible that kjtest checks, if the same exception is produced by Java?\r\n```\r\nint a =0;\r\nint b = 234;\r\nint c = b / a;\r\nSystem.out.println(\"\"+c);\r\n```\r\n\r\nMoreover, in some cases K-Java reports a division by zero exception, even though it should not, since the result should be Infinity, when the computation is done with doubles or floats.\r\n```\r\nint a =0;\r\ndouble b = 234;\r\ndouble c = b / a;\r\nSystem.out.println(\"\"+c);\r\n```","author":{"url":"https://github.com/rschumi0","@type":"Person","name":"rschumi0"},"datePublished":"2020-03-01T00:55:52.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/63/java-semantics/issues/63"}