Hello! I am interested in how bi-abduction analysis works. So far, the easiest way for me to learn is to look at the html generated using the -g flag. But now html looks a bit wrong (as I understand there are some problems with escaping, like < > instead of < and >). I tried to open it in several browsers (Safari, Chrome and Firefox), but result was the same:
--------------------------- 2 of 2 [nvisited:16 17 20] ---------------------------
PRE:
<span class='color_blue'><span class='color_blue'>x != 0 ;
x = val$1<span class='color_orange'>formal</span>:int( sub )</span></span>
POST 1 of 1:
<span class='color_blue'><span class='color_blue'>x != 0</span>; <span class='color_red'>MEMne < Integer Integer.valueOf(int):20 > <span class='color_orange'>{vpath: }</span>(return)</span> ;
<span class='color_blue'>x = val$1<span class='color_orange'>formal</span>:int( sub )</span>; <span class='color_red'>return = val$2<span class='color_orange'>update:20</span>:java.lang.Integer*</span> ;
<span class='color_red'>return|->{value:x<span class='color_orange'>update:(z)20</span>}<span class='color_orange'>formal(z)</span>:java.lang.Integer</span></span>
----------------------------------------------------------------<br>
Can you please fix it or describe how I can fix it by myself?
P.S. I use build from master, version is v1.1.0-da063eb95, builded on MacOS
Hello! I am interested in how bi-abduction analysis works. So far, the easiest way for me to learn is to look at the html generated using the
-g
flag. But now html looks a bit wrong (as I understand there are some problems with escaping, like< >
instead of<
and>
). I tried to open it in several browsers (Safari, Chrome and Firefox), but result was the same:Can you please fix it or describe how I can fix it by myself?
P.S. I use build from master, version is
v1.1.0-da063eb95
, builded on MacOS