test: broaden proc-parser property coverage (non-vacuous zero-tail, digit names)

Author: markovejnovic

test/sys/linux/proc/counter_parser_properties_test.exs

@@ -15,7 +15,7 @@ defmodule Sys.Linux.Proc.CounterParserPropertiesTest do
   # An interface/device name: lowercase letters/digits, optionally with a `:alias`.
   defp ifname do
     gen all(
-          base <- string(?a..?z, min_length: 1, max_length: 6),
+          base <- string([?a..?z, ?0..?9], min_length: 1, max_length: 6),
           alias_suffix <- one_of([constant(""), map(integer(0..9), &":#{&1}")])
         ) do
       base <> alias_suffix

test/sys/linux/proc/stat_properties_test.exs

@@ -44,7 +44,7 @@ defmodule Sys.Linux.Proc.StatPropertiesTest do
   end
 
   property "missing trailing columns default to zero (older-kernel compatibility)" do
-    check all(n <- integer(3..10), cols <- list_of(counter(), length: n)) do
+    check all(n <- integer(3..9), cols <- list_of(counter(), length: n)) do
       t = CpuTimes.from_columns(cols)
 
       present = [