2 files changed, 13 insertions, 0 deletions
diff --git a/src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java
index d2fefc23..6efc86f7 100644
--- a/src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java
+++ b/src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java
@@ -81,6 +81,15 @@ public class PatioInstructionSerializerTests {
     }
 
     @Test
+    public void canSerializePushInt() {
+        var instruction = Patio.pushInt(42);
+
+        var string = serialize(instruction);
+
+        assertThat(string, equalTo("(push-int 42)"));
+    }
+
+    @Test
     public void canSerializeReturn() {
         var instruction = Patio.return_();
 
diff --git a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
index 0f8d980f..31b0b012 100644
--- a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
+++ b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
@@ -37,6 +37,10 @@ public class Patio {
         return new PatioPushFunctionPointer(name, Sources.NULL);
     }
 
+    public static PatioInstruction pushInt(int value) {
+        return new PatioPushInt(value, Sources.NULL);
+    }
+
     public static PatioInstruction return_() {
         return new PatioReturn(Sources.NULL);
     }