From 90226efd4775712522e34360de98773094062537 Mon Sep 17 00:00:00 2001 From: Christian Gram Kalhauge <chrg@dtu.dk> Date: Mon, 29 Apr 2024 15:46:26 +0200 Subject: [PATCH] Small fixes --- src/main/java/jpamb/Runtime.java | 3 ++- stats/distribution.csv | 15 +++++++++++++++ 2 files changed, 17 insertions(+), 1 deletion(-) create mode 100644 stats/distribution.csv diff --git a/src/main/java/jpamb/Runtime.java b/src/main/java/jpamb/Runtime.java index 3089b52..a641a7c 100644 --- a/src/main/java/jpamb/Runtime.java +++ b/src/main/java/jpamb/Runtime.java @@ -17,7 +17,8 @@ import jpamb.cases.*; public class Runtime { static List<Class<?>> caseclasses = List.of( Simple.class, - Loops.class); + Loops.class, + Tricky.class); public static Case[] cases(Method m) { var cases = m.getAnnotation(Cases.class); diff --git a/stats/distribution.csv b/stats/distribution.csv new file mode 100644 index 0000000..535ef2a --- /dev/null +++ b/stats/distribution.csv @@ -0,0 +1,15 @@ +methodid,*,assertion error,divide by zero,ok +jpamb.cases.Loops.forever:()V,1,0,0,0 +jpamb.cases.Loops.neverAsserts:()V,1,0,0,0 +jpamb.cases.Loops.neverDivides:()I,1,0,0,0 +jpamb.cases.Loops.terminates:()V,0,1,0,0 +jpamb.cases.Simple.assertBoolean:(Z)V,0,1,0,1 +jpamb.cases.Simple.assertFalse:()V,0,1,0,0 +jpamb.cases.Simple.assertInteger:(I)V,0,1,0,1 +jpamb.cases.Simple.assertPositive:(I)V,0,1,0,1 +jpamb.cases.Simple.divideByN:(I)I,0,0,1,1 +jpamb.cases.Simple.divideByZero:()I,0,0,1,0 +jpamb.cases.Simple.divideZeroByZero:(II)I,0,0,1,1 +jpamb.cases.Simple.multiError:(Z)I,0,1,1,0 +jpamb.cases.Tricky.collatz:(I)V,0,0,0,1 +-,5.8%,11.5%,7.7%,11.5% -- GitLab