You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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 MacOSThe text was updated successfully, but these errors were encountered: