// Generated by Fuzzlyn v1.2 on 2021-08-05 18:05:30
// Run on Arm64 Linux, .NET 6.0.0-preview.6.21352.12
// Seed: 4981337257535941695
// Reduced from 46.6 KiB to 0.2 KiB in 00:02:15
// Debug: Outputs 1
// Release: Outputs 0
public class Program
{
static int s_2;
public static void Main()
{
int vr13 = 0;
s_2 = 1 + (1 % (vr13 + 1));
System.Console.WriteLine(s_2);
}
}
cc @dotnet/jit-contrib