Update for OpenRiak

Author: martinsumner

.github/workflows/ci.yml

@@ -0,0 +1,36 @@
+name: Erlang CI
+
+on:
+  push:
+    branches:
+      - openriak-3.2
+  pull_request:
+    branches:
+      - openriak-3.2
+
+jobs:
+
+  build:
+
+    name: Test on ${{ matrix.os }} with OTP ${{ matrix.otp }}
+    runs-on: ${{ matrix.os }}
+
+    strategy:
+      fail-fast: false
+      matrix:
+        otp: [24, 26]
+        os: [ubuntu-latest]
+
+    steps:
+      - uses: lukka/get-cmake@latest
+      - uses: actions/checkout@v4
+      - name: Install Erlang/OTP
+        uses: erlef/setup-beam@v1
+        with:
+          otp-version: ${{ matrix.otp }}
+      - name: Compile
+        run: ./rebar3 compile
+      - name: Run xref and dialyzer
+        run: ./rebar3 do xref, dialyzer
+      - name: Run eunit
+        run: ./rebar3 as gha do eunit

.github/workflows/codespell.yml

@@ -1,10 +1,4 @@
-[![Github Actions][github badge]][github]
-[![CodeCov][codecov badge]][codecov]
-[![Erlang Versions][erlang versions badge]][erlang]
-[![License][license badge]][license]
-[![Latest Release][release badge]][release]
-[![Hex PM][hex pm badge]][hex]
-[![Last Commit][commit badge]][commit]
+![PropEr OpenRiak Status](https://github.com/OpenRiak/proper/actions/workflows/erlang.yml/badge.svg?branch=openriak-3.2)
 
 Contact information and license
 -------------------------------

.github/workflows/erlang.yml

@@ -55,6 +55,16 @@
                        proper_unused_imports_remover,
                        vararg]}]}]}.
 
+{xref_checks, [
+    undefined_function_calls,
+    undefined_functions,
+    locals_not_used,
+    deprecated_function_calls,
+    deprecated_functions
+]}.
+
+{eunit_opts, [verbose]}.
+
 {post_hooks, []}.
 
 {dialyzer, [{warnings, [unmatched_returns, unknown]},

.github/workflows/shellcheck.yml

@@ -33,4 +33,5 @@
   {vsn, "1.4.0"},
   {registered, []},
   {applications, [compiler, kernel, stdlib]},
+  {included_applications, [tools]},
   {env, []}]}.

README.md

@@ -773,7 +773,7 @@ cant_generate_test_() ->
     [?_test(assert_cant_generate(Type)) || Type <- impossible_types()].
 
 proper_exported_types_test_() ->
-    [?_assertEqual({[],12}, proper_exported_types_test:not_handled())].
+    [?_assertEqual({[],0}, proper_exported_types_test:not_handled())].
 
 %%------------------------------------------------------------------------------
 %% Verify that failing constraints are correctly reported
@@ -1054,7 +1054,7 @@ false_props_test_() ->
      ?_fails(?FORALL(_, float(0.0,0.0), false)),
      ?_fails(fails(?FORALL(_, integer(), false))),
      ?_failsWith([16], ?FORALL(X, ?LET(Y,integer(),Y*Y), X < 15)),
-     ?_failsWith([0.0],
+     ?_failsWith([+0.0],
 		 ?FORALL(_, ?LETSHRINK([A,B], [float(),atom()], {A,B}), false)),
      ?_failsWith([], conjunction([{some,true},{thing,false}])),
      ?_failsWith([{2,1},[{group,[[{sub_group,[1]}]]},{stupid,[1]}]],