From 2136abe8071833fd072c4be13c885525b46f5320 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Tue, 3 Dec 2024 13:51:58 -0800 Subject: Greatly improved JSViewer Handle memory edges. Color-coded edges & nodes to match lattice. Add SB vs StringBuilder. JSViewer needs SB to keep my sanity. Catch successful peeps and `show` them. Drop unused LLVM format, so I don't need to support Yet Another Printer. SimpleWebSocket handles longer packets; more robust close. Bug fix st/new fold. Bug fix Phi pull-down op losing precision. --- chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java | 2 +- chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'chapter18/src/test/java/com') diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java index 2c6cca8c..e39fc5d8 100644 --- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java +++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java @@ -21,7 +21,7 @@ return 3.14; // --------------------------------------------------------------- - @Test + @Ignore @Test public void testType0() { Parser parser = new Parser(""" {int -> int}? x2 = null; // null function ptr diff --git a/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java b/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java index 1cb97cf6..61103f54 100644 --- a/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java +++ b/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java @@ -32,7 +32,7 @@ public class TypeTest { Assert.assertNotEquals(m3, m4); Assert.assertEquals(TypeStruct.BOT, s1.meet(s2)); - Assert.assertEquals(TypeMem.make(-1,TypeInteger.U16), m1.meet(m2)); + Assert.assertEquals(TypeMem.make(0,TypeInteger.U16), m1.meet(m2)); Assert.assertEquals(TypeMem .BOT, m2.meet(m3)); Assert.assertEquals(TypeMem .BOT, m3.meet(m4)); -- cgit v1.2.3