java.lang.AssertionError: BUG: x = "<A HREF=\"" + base_type + ".html\" TARGET=_top>"+ short_type+ "</A>" i = 7 es = ["<A HREF=\"", base_type, ".html\" TARGET=_top>", short_type, "</A>"] l = "</A>" -----this is all I know.

GitHub | yossigil | 3 months ago
  1. 0

    Bug in pushdownTernary

    GitHub | 3 months ago | yossigil
    java.lang.AssertionError: BUG: x = "<A HREF=\"" + base_type + ".html\" TARGET=_top>"+ short_type+ "</A>" i = 7 es = ["<A HREF=\"", base_type, ".html\" TARGET=_top>", short_type, "</A>"] l = "</A>" -----this is all I know.
  2. 0

    GitHub comment 431#119715084

    GitHub | 1 year ago | fernandobrito
    java.lang.AssertionError: Expected: not a string containing "${" but: was "<!DOCTYPE html>\r\n<html xmlns=\"http://www.w3.org/1999/xhtml\" lang=\"en\"><head>\n<meta charset=\"UTF-8\" />\n<title>Crawl overview</title>\n<meta content=\"width=device-width, initial-scale=1.0\" name=\"viewport\" />\n<meta content=\"CrawlJax\" name=\"author\" />\n<link rel=\"stylesheet\" href=\"./css/bootstrap.min.css\" />\n<link rel=\"stylesheet\" href=\"./css/bootstrap-responsive.min.css\" />\n<!-- HTML5 shim, for IE6-8 support of HTML5 elements -->\n<!--[if lt IE 9]>\n\t<script src=\"http://html5shim.googlecode.com/svn/trunk/html5.js\"></script>\n\t<![endif]-->\n<style>\nhtml,body {\n\theight: 100%;\n}\n\n#wrap {\n\tmin-height: 100%;\n\theight: auto !important;\n\theight: 100%;\n\tmargin: 0 auto -40px;\t\n}\n\n#push, footer {\n\theight: 40px;\n}\n\nfooter {\n\tbackground-color: #f5f5f5;\n}\n\nfooter small {\n\tdisplay: inline;\n\tmargin-top: 10px;\n}\n\n.url-table td {\n\tword-wrap: break-word;\n\tmax-width: 700px;\n}\n\n@media (max-width: 979px) and (min-width: 768px) {\n\t.url-table td {\n\t\tmax-width: 500px;\n\t}\n}\n\n@media ( max-width : 767px) {\n\t#footer {\n\t\tmargin-left: -20px;\n\t\tmargin-right: -20px;\n\t\tpadding-left: 20px;\n\t\tpadding-right: 20px;\n\t}\n\t\n\t.url-table td {\n\t\tmax-width: 450px;\n\t}\n}\n\n\n#wrap&gt;.container {\n\tpadding-top: 60px;\n}\n\n.panel-right {\n\tposition: absolute;\n\tright: 10px;\n\ttop: 70px;\n\tleft: auto;\n\tdisplay: block;\n\tbackground-color: rgb(255, 255, 255);\n\tbackground-color: rgba(255, 255, 255, .9);\n\tmax-width: 300px;\n}\n\n.panel-right dd {\n\ttext-transform: capitalize;\n\tword-wrap: break-word;\n}\n</style>\n</head>\n<body>\n\n\t<div id=\"wrap\">\n\t\t<nav class=\"navbar navbar-fixed-top\">\n\t<div class=\"navbar-inner\">\n\t\t<div class=\"container\">\n\t\t\t\t\t\t\t<a href=\"#\" class=\"brand\">Crawl overview</a>\n\t\t\t\t\t\t<ul class=\"nav\">\n\t\t\t\t\t\t\t\t\t<li class=\"active\"><a href=\"#graph\">State graph</a></li>\n\t\t\t\t\t<li><a href=\"#statistics\">Statistics</a></li>\n\t\t\t\t\t<li><a href=\"#urls\">URL's</a></li>\n\t\t\t\t\t<li><a href=\"#config\">Configuration</a></li>\n\t\t\t\t\t\t\t</ul>\n\t\t\t<div class=\"nav pull-right\">\n\t\t\t\t<a title=\"\" data-placement=\"bottom\" data-toggle=\"tooltip\" id=\"pauseButton\" class=\"btn graphBtn\" href=\"#\" data-original-title=\"Pause the graph movement\"><i class=\"icon-pause\"></i></a>\n\t\t\t\t<a data-original-title=\"What to do\" data-placement=\"bottom\" rel=\"popover\" class=\"btn graphBtn\" href=\"#\"><i class=\"icon-question-sign\"></i></a>\n\t\t\t\t<div id=\"popup-content\" style=\"display: none\">\n\t\t\t\t\t<p>You can double click a state to inspect it further.</p>\n\t\t\t\t\t<p>Clicking an edge gives more details on the state transition.</p>\n\t\t\t\t\t<p>Use your mouse to zoom in and out by scrolling, or drag the states and view around.</p>\n\t\t\t\t</div>\n\t\t\t\t<a title=\"\" data-placement=\"bottom\" data-toggle=\"tooltip\" class=\"btn\" href=\"result.json\" data-original-title=\"Download result as JSON\"><i class=\"icon-download\"></i></a>\n\t\t\t</div>\n\t\t\t<!--/.nav-collapse -->\n\t\t</div>\n\t</div>\n</nav>\t\t<div style=\"width: 100%; padding-top: 40px; height: 606px; display: block;\" id=\"container-graph\" class=\"container page\">\n\t\t\t<div class=\"popover fade panel-right\">\n\t\t\t\t<div class=\"popover-inner\">\n\t\t\t\t\t<h3 class=\"popover-title\">Edge info</h3>\n\t\t\t\t\t<div class=\"popover-content\">\n\t\t\t\t\t\t<dl>\n\t\t\t\t\t\t\t<dt>Element name</dt>\n\t\t\t\t\t\t\t<dd name=\"elemName\"></dd>\n\t\t\t\t\t\t</dl>\n\t\t\t\t\t\t<dl>\n\t\t\t\t\t\t\t<dt>From</dt>\n\t\t\t\t\t\t\t<dd name=\"from\"></dd>\n\t\t\t\t\t\t</dl>\n\t\t\t\t\t\t<dl>\n\t\t\t\t\t\t\t<dt>To</dt>\n\t\t\t\t\t\t\t<dd name=\"to\"></dd>\n\t\t\t\t\t\t</dl>\n\t\t\t\t\t\t<dl>\n\t\t\t\t\t\t\t<dt>Identified by</dt>\n\t\t\t\t\t\t\t<dd name=\"id\"></dd>\n\t\t\t\t\t\t</dl>\n\t\t\t\t\t\t<dl>\n\t\t\t\t\t\t\t<dt>Element</dt>\n\t\t\t\t\t\t\t<dd style=\"text-transform: none;\" name=\"element\"></dd>\n\t\t\t\t\t\t</dl>\n\t\t\t\t\t\t<dl>\n\t\t\t\t\t\t\t<dt>Event type</dt>\n\t\t\t\t\t\t\t<dd name=\"eventType\"></dd>\n\t\t\t\t\t\t</dl>\n\t\t\t\t\t\t<button id=\"hideButton\" class=\"btn btn-small\">Hide</button>\n\t\t\t\t\t</div>\n\t\t\t\t</div>\n\t\t\t</div>\n\t\t<svg xmlns=\"http://www.w3.org/2000/svg\" style=\"width: 100%; height: 606px;\"><g buffered-rendering=\"dynamic\" transform=\"matrix(1, 0, 0,1,713,20)\"><path stroke=\"gray\" stroke-width=\"2\" marker-end=\"url(#Triangle)\" d=\"M23.20099906417323,133.62168206480487L142.69116654231513,156.0748571398855\"/><path stroke=\"gray\" stroke-width=\"2\" marker-end=\"url(#Triangle)\" d=\"M20.389680514426303,14.830868101649315L178.76926095732182,-148.13006323268883\"/><path stroke=\"gray\" stroke-width=\"2\" marker-end=\"url(#Triangle)\" d=\"M178.76926095732182,-148.13006323268883L20.389680514426303,14.830868101649315\"/><path stroke=\"gray\" stroke-width=\"2\" marker-end=\"url(#Triangle)\" d=\"M250.55573187120714,74.865671103041L268.09337707868303,-148.13006323268885\"/><path stroke=\"gray\" stroke-width=\"2\" marker-end=\"url(#Triangle)\" d=\"M-89.26322206745482,-236.23081179113802L161.94263124160844,74.86567110304101\"/><path stroke=\"gray\" stroke-width=\"2\" marker-end=\"url(#Triangle)\" d=\"M161.94263124160844,74.86567110304101L-89.26322206745482,-236.23081179113802\"/><g transform=\"translate(-176.79900093582677,14.830868101649315)\"><text y=\"-4px\">state4</text><image width=\"200\" height=\"200\" xlink:href=\"screenshots/state4_small.jpg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"/><rect style=\"fill:none;stroke-width:1;stroke:black;\" width=\"201\" height=\"201\"/></g><g transform=\"translate(175.95794240757493,-348.1300632326888)\"><text y=\"-4px\">state3</text><image width=\"200\" height=\"200\" xlink:href=\"screenshots/state3_small.jpg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"/><rect style=\"fill:none;stroke-width:1;stroke:black;\" width=\"201\" height=\"201\"/></g><g transform=\"translate(-270.0117573681615,-436.230811791138)\"><text y=\"-4px\">state1</text><image width=\"200\" height=\"200\" xlink:href=\"screenshots/state1_small.jpg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"/><rect style=\"fill:none;stroke-width:1;stroke:black;\" width=\"201\" height=\"201\"/></g><g transform=\"translate(142.69116654231513,74.865671103041)\"><text y=\"-4px\">index</text><image width=\"200\" height=\"200\" xlink:href=\"screenshots/index_small.jpg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"/><rect style=\"fill:none;stroke-width:1;stroke:black;\" width=\"201\" height=\"201\"/></g></g><defs><marker id=\"Triangle\" viewBox=\"0 0 10 10\" refX=\"10\" refY=\"5\" markerUnits=\"strokeWidth\" markerWidth=\"10\" markerHeight=\"5\" orient=\"auto\"><path d=\"M 0 0 L 10 5 L 0 10 z\" stroke=\"grey\"/></marker></defs></svg></div>\n\t\t<div style=\"display: none;\" id=\"container-statistics\" class=\"container page\">\n\t\t\t\n<section id=\"crawlResults\">\n\t<div class=\"page-header\">\n\t\t<h1>Crawl results</h1>\n\t</div>\n\t<table class=\"table table-bordered table-striped\">\n\t\t<tbody>\n\t\t\t<tr>\n\t\t\t\t<th>Crawl time</th>\n\t\t\t\t<td>9 seconds</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<th>Exit status</th>\n\t\t\t\t<td>Exausted</td>\n\t\t\t</tr><tr>\n\t\t\t\t<th>Number of states</th>\n\t\t\t\t<td>4</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<th><a href=\"urls.html\">URL's visited</a></th>\n\t\t\t\t<td>4</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<th>Number of edges</th>\n\t\t\t\t<td>6</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<th>Number of crawl paths</th>\n\t\t\t\t<td>5</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<th>Failed events</th>\n\t\t\t\t<td>0</td>\n\t\t\t</tr><tr>\n\t\t\t\t<th>Average DOM length</th>\n\t\t\t\t<td>0,44 kB</td>\n\t\t\t</tr>\n\t\t</tbody>\n\t</table>\n</section>\n\n<section id=\"highs-and-low\">\n\t<div class=\"page-header\">\n\t\t<h1>Highs and lows</h1>\n\t</div>\n\t<table class=\"table table-bordered table-striped\">\n\t\t<tbody>\n\t\t\t<tr>\n\t\t\t\t<th>Highest fan-out</th> \n\t\t\t\t\t\t\t\t<td><a href=\"states/state4.html\">state4</a></td>\n\t\t\t\t<td>2</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<th>Lowest fan-out</th> \t\t\t\t<td><a href=\"states/state3.html\">state3</a></td>\n\t\t\t\t<td>1</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<th>Highest fan-in</th> \t\t\t\t<td><a href=\"states/state3.html\">state3</a></td>\n\t\t\t\t<td>2</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<th>Lowest fan-in</th> \t\t\t\t<td><a href=\"states/state4.html\">state4</a></td>\n\t\t\t\t<td>1</td>\n\t\t\t</tr>\n\t\t</tbody>\n\t</table>\n</section>\n\t\t</div>\n\t\t<div style=\"display: none;\" id=\"container-urls\" class=\"container page\">\n\t\t\t<div class=\"page-header\">\n\t<h1>URL's visited</h1>\n</div>\n<table class=\"table table-bordered table-striped url-table\">\n\t<tbody>\n\t\t\t\t<tr>\n\t\t\t<td><a href=\"http://localhost:59342/c.html\">http://localhost:59342/c.html</a></td>\n\t\t\t<td> <a href=\"states/state4.html\">state4</a>, \t\t\t</td>\n\t\t</tr>\n\t\t\t\t<tr>\n\t\t\t<td><a href=\"http://localhost:59342/b.html\">http://localhost:59342/b.html</a></td>\n\t\t\t<td> <a href=\"states/state3.html\">state3</a>, \t\t\t</td>\n\t\t</tr>\n\t\t\t\t<tr>\n\t\t\t<td><a href=\"http://localhost:59342/a.html\">http://localhost:59342/a.html</a></td>\n\t\t\t<td> <a href=\"states/state1.html\">state1</a>, \t\t\t</td>\n\t\t</tr>\n\t\t\t\t<tr>\n\t\t\t<td><a href=\"http://localhost:59342/\">http://localhost:59342/</a></td>\n\t\t\t<td> <a href=\"states/index.html\">index</a>, \t\t\t</td>\n\t\t</tr>\n\t\t\t</tbody>\n</table>\n\t\t</div>\n\t\t<div style=\"display: none;\" id=\"container-config\" class=\"container page\">\n\t\t\t<section id=\"crawlConfig\">\n\t<div class=\"page-header\">\n\t\t<h1>Crawl configuration</h1>\n\t</div>\n\t<table class=\"table table-bordered table-striped\">\n\t\t<tbody>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Url</td> \n\t\t\t\t\t\t\t\t<td>http://localhost:59342/</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Plugins</td> \n\t\t\t\t\t\t\t\t<td><ul><li>PostCrawlStateGraphChecker</li><li>CrawlOverview</li></ul></td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Output Dir</td> \n\t\t\t\t\t\t\t\t<td>target\test-data\hover-crawl</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Maximum Runtime</td> \n\t\t\t\t\t\t\t\t<td>?</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Maximum Depth</td> \n\t\t\t\t\t\t\t\t<td>?</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Browser Config</td> \n\t\t\t\t\t\t\t\t<td>1 browsers of type PHANTOMJS using builder Default webdriver factory</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Proxy Configuration</td> \n\t\t\t\t\t\t\t\t<td>NOTHING</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Basic Auth Url</td> \n\t\t\t\t\t\t\t\t<td>null</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Maximum States</td> \n\t\t\t\t\t\t\t\t<td>?</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>State Vertex Factory</td> \n\t\t\t\t\t\t\t\t<td>null</td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t\t<tr>\n\t\t\t\t<td>Crawl Rules</td> \n\t\t\t\t\t\t\t\t<td><pre><code>{\n \"crawlEvents\" : [ \"click\" ],\n \"invariants\" : [ ],\n \"oracleComparators\" : [ {\n \"preConditions\" : [ ],\n \"id\" : \"SimpleComparator\",\n \"oracle\" : { }\n } ],\n \"ignoredFrameIdentifiers\" : [ ],\n \"preCrawlConfig\" : {\n \"waitConditions\" : [ ],\n \"crawlConditions\" : [ ],\n \"includedElements\" : [ {\n \"tagName\" : \"A\",\n \"id\" : \"id26603980\",\n \"eventType\" : \"click\",\n \"withXpathExpression\" : null,\n \"eventableCondition\" : null\n }, {\n \"tagName\" : \"BUTTON\",\n \"id\" : \"id20288556\",\n \"eventType\" : \"click\",\n \"withXpathExpression\" : null,\n \"eventableCondition\" : null\n }, {\n \"tagName\" : \"INPUT\",\n \"id\" : \"id9638098\",\n \"eventType\" : \"click\",\n \"withXpathExpression\" : \"//INPUT[@type='submit']\",\n \"eventableCondition\" : {\n \"id\" : \"id9638098\",\n \"conditions\" : [ ],\n \"inXPath\" : \"//INPUT[@type='submit']\",\n \"linkedInputFields\" : [ ]\n }\n }, {\n \"tagName\" : \"INPUT\",\n \"id\" : \"id20271998\",\n \"eventType\" : \"click\",\n \"withXpathExpression\" : \"//INPUT[@type='button']\",\n \"eventableCondition\" : {\n \"id\" : \"id20271998\",\n \"conditions\" : [ ],\n \"inXPath\" : \"//INPUT[@type='button']\",\n \"linkedInputFields\" : [ ]\n }\n } ],\n \"excludedElements\" : [ ],\n \"filterAttributeNames\" : [ \"closure_hashcode_(\\w)*\", \"jquery[0-9]+\" ]\n },\n \"randomInputInForms\" : true,\n \"inputSpecification\" : {\n \"crawlElements\" : [ ],\n \"formFieldNames\" : { },\n \"formFieldValues\" : { }\n },\n \"testInvariantsWhileCrawling\" : true,\n \"clickOnce\" : true,\n \"randomizeCandidateElements\" : false,\n \"crawlHiddenAnchors\" : false,\n \"waitAfterReloadUrl\" : 500,\n \"waitAfterEvent\" : 500,\n \"allCrawlElements\" : [ {\n \"tagName\" : \"A\",\n \"id\" : \"id26603980\",\n \"eventType\" : \"click\",\n \"withXpathExpression\" : null,\n \"eventableCondition\" : null\n }, {\n \"tagName\" : \"BUTTON\",\n \"id\" : \"id20288556\",\n \"eventType\" : \"click\",\n \"withXpathExpression\" : null,\n \"eventableCondition\" : null\n }, {\n \"tagName\" : \"INPUT\",\n \"id\" : \"id9638098\",\n \"eventType\" : \"click\",\n \"withXpathExpression\" : \"//INPUT[@type='submit']\",\n \"eventableCondition\" : {\n \"id\" : \"id9638098\",\n \"conditions\" : [ ],\n \"inXPath\" : \"//INPUT[@type='submit']\",\n \"linkedInputFields\" : [ ]\n }\n }, {\n \"tagName\" : \"INPUT\",\n \"id\" : \"id20271998\",\n \"eventType\" : \"click\",\n \"withXpathExpression\" : \"//INPUT[@type='button']\",\n \"eventableCondition\" : {\n \"id\" : \"id20271998\",\n \"conditions\" : [ ],\n \"inXPath\" : \"//INPUT[@type='button']\",\n \"linkedInputFields\" : [ ]\n }\n } ]\n}</code></pre></td> \n\t\t\t\t\t\t\t</tr>\n\t\t\t\t\t</tbody>\n\t</table>\n</section>\n<section id=\"versionInfo\">\n\t<div class=\"page-header\">\n\t\t<h1>Version info</h1>\n\t</div>\n\t<table class=\"table table-bordered table-striped\">\n\t\t<tbody>\n\t\t\t<tr>\n\t\t\t\t<td>Crawljax version</td>\n\t\t\t\t<td>3.7-SNAPSHOT</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<td>Git revision</td>\n\t\t\t\t<td>${git.commit.id}</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<td><a href=\"https://www.kernel.org/pub/software/scm/git/docs/git-describe.html\">Git describe</a></td>\n\t\t\t\t<td>${git.commit.id.describe}</td>\n\t\t\t</tr>\n\t\t\t<tr>\n\t\t\t\t<td>Build time</td>\n\t\t\t\t<td><time>${git.build.time}</time></td>\n\t\t\t</tr>\n\t\t</tbody>\n\t</table>\n</section>\t\t</div>\n\t\t<div id=\"push\"></div>\n\t</div>\n\t<footer>\n\t\t<div class=\"container\">\n\t\t\t<small class=\"pull-left muted\">Crawl of <a href=\"http://localhost:59342/\">http://localhost:59342/</a> at Wed Jul 08 12:53:21 PDT 2015</small>\n\t\t\t<small class=\"pull-right muted\">Crawled by <a href=\"http://crawljax.com\">Crawljax</a> 3.7-SNAPSHOT</small>\n\t\t</div>\n\t</footer>\n\t\n\t<script src=\"lib/jquery-2.0.3.min.js\"></script>\n\t<script src=\"lib/bootstrap.min.js\"></script>\n\t<script src=\"lib/vivagraph.min.js\"></script>\n\t<script src=\"js/graphbuilder.js\"></script>\n\t<script>\n\t\tvar edges = [ {\n \"from\" : \"index\",\n \"to\" : \"state1\",\n \"text\" : \"Go to A\",\n \"id\" : \"xpath /HTML[1]/BODY[1]/DIV[1]/UL[1]/LI[1]/A[1]\",\n \"element\" : \"Element{node=[A: null], tag=A, text=Go to A, attributes={href=a.html}}\",\n \"eventType\" : \"click\"\n}, {\n \"from\" : \"state1\",\n \"to\" : \"index\",\n \"text\" : \"Back to index\",\n \"id\" : \"xpath /HTML[1]/BODY[1]/DIV[1]/P[2]/A[1]\",\n \"element\" : \"Element{node=[A: null], tag=A, text=Back to index, attributes={href=index.html}}\",\n \"eventType\" : \"click\"\n}, {\n \"from\" : \"index\",\n \"to\" : \"state3\",\n \"text\" : \"Go to B\",\n \"id\" : \"xpath /HTML[1]/BODY[1]/DIV[1]/UL[1]/LI[2]/A[1]\",\n \"element\" : \"Element{node=[A: null], tag=A, text=Go to B, attributes={href=b.html}}\",\n \"eventType\" : \"click\"\n}, {\n \"from\" : \"state3\",\n \"to\" : \"state4\",\n \"text\" : \"Go to C\",\n \"id\" : \"xpath /HTML[1]/BODY[1]/DIV[1]/A[1]\",\n \"element\" : \"Element{node=[A: null], tag=A, text=Go to C, attributes={href=c.html, style=margin: 10px;}}\",\n \"eventType\" : \"click\"\n}, {\n \"from\" : \"state4\",\n \"to\" : \"state3\",\n \"text\" : \"Go to B\",\n \"id\" : \"xpath /HTML[1]/BODY[1]/DIV[1]/A[1]\",\n \"element\" : \"Element{node=[A: null], tag=A, text=Go to B, attributes={href=b.html}}\",\n \"eventType\" : \"click\"\n}, {\n \"from\" : \"state4\",\n \"to\" : \"index\",\n \"text\" : \"Go to Index\",\n \"id\" : \"xpath /HTML[1]/BODY[1]/DIV[1]/A[2]\",\n \"element\" : \"Element{node=[A: null], tag=A, text=Go to Index, attributes={href=index.html}}\",\n \"eventType\" : \"click\"\n} ];\n\t\tvar states = {\n \"state4\" : {\n \"name\" : \"state4\",\n \"url\" : \"http://localhost:59342/c.html\",\n \"candidateElements\" : [ {\n \"top\" : 164,\n \"left\" : 50,\n \"xpath\" : \"/HTML[1]/BODY[1]/DIV[1]/A[1]\",\n \"width\" : 49,\n \"height\" : 19\n }, {\n \"top\" : 164,\n \"left\" : 103,\n \"xpath\" : \"/HTML[1]/BODY[1]/DIV[1]/A[2]\",\n \"width\" : 73,\n \"height\" : 19\n } ],\n \"fanIn\" : 1,\n \"fanOut\" : 2,\n \"id\" : 4,\n \"failedEvents\" : [ ]\n },\n \"state3\" : {\n \"name\" : \"state3\",\n \"url\" : \"http://localhost:59342/b.html\",\n \"candidateElements\" : [ {\n \"top\" : 185,\n \"left\" : 60,\n \"xpath\" : \"/HTML[1]/BODY[1]/DIV[1]/A[1]\",\n \"width\" : 50,\n \"height\" : 19\n } ],\n \"fanIn\" : 2,\n \"fanOut\" : 1,\n \"id\" : 3,\n \"failedEvents\" : [ ]\n },\n \"state1\" : {\n \"name\" : \"state1\",\n \"url\" : \"http://localhost:59342/a.html\",\n \"candidateElements\" : [ {\n \"top\" : 144,\n \"left\" : 58,\n \"xpath\" : \"/HTML[1]/BODY[1]/DIV[1]/P[2]/A[1]\",\n \"width\" : 84,\n \"height\" : 19\n } ],\n \"fanIn\" : 1,\n \"fanOut\" : 1,\n \"id\" : 1,\n \"failedEvents\" : [ ]\n },\n \"index\" : {\n \"name\" : \"index\",\n \"url\" : \"http://localhost:59342/\",\n \"candidateElements\" : [ {\n \"top\" : 155,\n \"left\" : 48,\n \"xpath\" : \"/HTML[1]/BODY[1]/DIV[1]/UL[1]/LI[1]/A[1]\",\n \"width\" : 50,\n \"height\" : 19\n }, {\n \"top\" : 175,\n \"left\" : 48,\n \"xpath\" : \"/HTML[1]/BODY[1]/DIV[1]/UL[1]/LI[2]/A[1]\",\n \"width\" : 49,\n \"height\" : 19\n }, {\n \"top\" : 195,\n \"left\" : 48,\n \"xpath\" : \"/HTML[1]/BODY[1]/DIV[1]/UL[1]/LI[3]/A[1]\",\n \"width\" : 185,\n \"height\" : 19\n } ],\n \"fanIn\" : 2,\n \"fanOut\" : 2,\n \"id\" : 0,\n \"failedEvents\" : [ ]\n }\n};\n\t\t$(document).ready(\n\t\t\t\tfunction() {\n\t\t\t\t\t$.each(states, function() {\n\t\t\t\t\t\tgraph.addNode(this.name, {\n\t\t\t\t\t\t\timg : 'screenshots/' + this.name + '_small.jpg',\n\t\t\t\t\t\t\turl : \"states/\" + this.name + \".html\"\n\t\t\t\t\t\t});\n\t\t\t\t\t});\n\n\t\t\t\t\tvar edgesSeen = {};\n\t\t\t\t\t$.each(edges, function() {\n\t\t\t\t\t\tvar edgeKey = this.from + \"-to-\" + this.to;\n\t\t\t\t\t\tif (!(edgeKey in edgesSeen)) {\n\t\t\t\t\t\t\tedgesSeen[edgeKey] = true;\n\t\t\t\t\t\t\tgraph.addLink(this.from, this.to, {\n\t\t\t\t\t\t\t\ttext : this.text,\n\t\t\t\t\t\t\t\tid : this.id,\n\t\t\t\t\t\t\t\teventType : this.eventType,\n\t\t\t\t\t\t\t\telement : this.element\n\n\t\t\t\t\t\t\t});\n\t\t\t\t\t\t}\n\t\t\t\t\t});\n\n\t\t\t\t\t$(\"#hideButton\").click(function() {\n\t\t\t\t\t\t$(\".panel-right\").removeClass(\"in\");\n\t\t\t\t\t\t$('path[stroke=\"red\"]').attr(\"stroke\", \"grey\");\n\t\t\t\t\t});\n\n\t\t\t\t\t$(\"a[rel='popover']\").popover({\n\t\t\t\t\t\tcontent : $(\"#popup-content\").html(),\n\t\t\t\t\t\thtml : true,\n\t\t\t\t\t\ttrigger : \"hover\"\n\t\t\t\t\t});\n\n\t\t\t\t\t$(\"a[data-toggle='tooltip']\").tooltip();\n\n\t\t\t\t\tvar paused = false;\n\t\t\t\t\t$(\"#pauseButton\").click(\n\t\t\t\t\t\t\tfunction() {\n\t\t\t\t\t\t\t\tif (paused) {\n\t\t\t\t\t\t\t\t\trenderer.resume();\n\t\t\t\t\t\t\t\t\tpaused = false;\n\t\t\t\t\t\t\t\t\t$(this).children(\":first\").attr(\"class\",\n\t\t\t\t\t\t\t\t\t\t\t\"icon-pause\");\n\t\t\t\t\t\t\t\t} else {\n\t\t\t\t\t\t\t\t\trenderer.pause();\n\t\t\t\t\t\t\t\t\tpaused = true;\n\t\t\t\t\t\t\t\t\t$(this).children(\":first\").attr(\"class\",\n\t\t\t\t\t\t\t\t\t\t\t\"icon-play\");\n\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t});\n\n\t\t\t\t\t$('.navbar li').click(function(e) {\n\t\t\t\t\t\t$('.navbar li').removeClass('active');\n\t\t\t\t\t\tvar $this = $(this);\n\t\t\t\t\t\tif (!$this.hasClass('active')) {\n\t\t\t\t\t\t\t$this.addClass('active');\n\t\t\t\t\t\t}\n\n\t\t\t\t\t});\n\n\t\t\t\t\tfunction loadPage(page) {\n\t\t\t\t\t\t$('.page').hide();\n\t\t\t\t\t\t$('#container-' + page).show();\n\n\t\t\t\t\t\tif (page === \"graph\") {\n\t\t\t\t\t\t\t$('.graphBtn').show();\n\t\t\t\t\t\t} else {\n\t\t\t\t\t\t\t$('.graphBtn').hide();\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\n\t\t\t\t\t$(window).on(\n\t\t\t\t\t\t\t'hashchange',\n\t\t\t\t\t\t\tfunction(e) {\n\t\t\t\t\t\t\t\tpageRef = window.location.hash.substring(1);\n\t\t\t\t\t\t\t\tif ($(\"#container-\" + pageRef).length == 0\n\t\t\t\t\t\t\t\t\t\t&amp;&amp; pageRef !== \"graph\") {\n\t\t\t\t\t\t\t\t\twindow.location.hash = \"graph\";\n\t\t\t\t\t\t\t\t} else {\n\t\t\t\t\t\t\t\t\tloadPage(pageRef);\n\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t});\n\n\t\t\t\t\t$(window).trigger('hashchange');\n\t\t\t\t});\n\n\t\tfunction showInfo(link) {\n\t\t\t$(\".panel-right\").addClass(\"in\");\n\t\t\t$(\".panel-right [name='elemName']\").text(link.data.text);\n\t\t\t$(\".panel-right [name='from']\").html(asStateLink(link.fromId));\n\t\t\t$(\".panel-right [name='to']\").html(asStateLink(link.toId));\n\t\t\t$(\".panel-right [name='id']\").text(link.data.id);\n\t\t\t$(\".panel-right [name='element']\").text(link.data.element);\n\t\t\t$(\".panel-right [name='eventType']\").text(link.data.eventType);\n\t\t}\n\n\t\tfunction asStateLink(name) {\n\t\t\treturn \"&lt;a href='states/\" + name + \".html' target='_new'&gt;\" + name\n\t\t\t\t\t+ \"&lt;/a&gt;\";\n\t\t}\n\n\t\t$('#container-graph svg').css(\"width\", \"100%\");\n\t\tfunction resize() {\n\t\t\t$('#container-graph').css(\"height\", window.innerHeight - 80);\n\t\t\t$('#container-graph svg').css(\"height\", window.innerHeight - 80);\n\t\t}\n\t\t$(window).resize(resize);\n\t\tresize();\n\t</script>\n\n</body></html>"
  3. 0

    Help understanding test errors

    GitHub | 6 months ago | willfaught
    java.lang.AssertionError: expected:<line 1:3 reportAttemptingFullContext d=3 (expr_primary), input='a(i)' line 1:7 reportAmbiguity d=3 (expr_primary): ambigAlts={2, 3}, input='a(i)<-x' > but was:<null>
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    TestFailure: testLoopsSimulateTailRecursion

    GitHub | 2 months ago | pboyer
    java.lang.AssertionError: expected:<line 1:3 reportAttemptingFullContext d=3 (expr_primary), input='a(i)' line 1:7 reportAmbiguity d=3 (expr_primary): ambigAlts={2, 3}, input='a(i)<-x' > but was:<null>
  6. 0

    GitHub comment 40#251768148

    GitHub | 2 months ago | pboyer
    java.lang.AssertionError: expected:<line 1:3 reportAttemptingFullContext d=3 (expr_primary), input='a(i)' line 1:7 reportAmbiguity d=3 (expr_primary): ambigAlts={2, 3}, input='a(i)<-x' > but was:<null>

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. java.lang.AssertionError

      BUG: x = "<A HREF=\"" + base_type + ".html\" TARGET=_top>"+ short_type+ "</A>" i = 7 es = ["<A HREF=\"", base_type, ".html\" TARGET=_top>", short_type, "</A>"] l = "</A>" -----this is all I know.

      at il.org.spartan.spartanizer.wrings.TernaryPushdownStrings.replaceSuffix()
    2. il.org.spartan
      Trimmer$2.go
      1. il.org.spartan.spartanizer.wrings.TernaryPushdownStrings.replaceSuffix(TernaryPushdownStrings.java:133)
      2. il.org.spartan.spartanizer.wrings.TernaryPushdownStrings.simplifyStrings(TernaryPushdownStrings.java:211)
      3. il.org.spartan.spartanizer.wrings.TernaryPushdownStrings.simplify(TernaryPushdownStrings.java:144)
      4. il.org.spartan.spartanizer.wrings.TernaryPushdownStrings.replacement(TernaryPushdownStrings.java:36)
      5. il.org.spartan.spartanizer.wrings.TernaryPushdownStrings.replacement(TernaryPushdownStrings.java:220)
      6. il.org.spartan.spartanizer.wrings.TernaryPushdownStrings.replacement(TernaryPushdownStrings.java:1)
      7. il.org.spartan.spartanizer.wringing.ReplaceCurrentNode.suggest(ReplaceCurrentNode.java:19)
      8. il.org.spartan.spartanizer.wringing.CarefulWring.canSuggest(CarefulWring.java:12)
      9. il.org.spartan.spartanizer.dispatch.Toolbox.find(Toolbox.java:206)
      10. il.org.spartan.spartanizer.dispatch.Toolbox.find(Toolbox.java:218)
      11. il.org.spartan.spartanizer.dispatch.Trimmer$2.go(Trimmer.java:85)
      11 frames