Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Property-based tests #5

Merged
merged 4 commits into from
May 7, 2022
Merged

Property-based tests #5

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
0d41b19
Documentation improvements
rustkas Apr 29, 2022
0609380
Property based tests
rustkas Apr 29, 2022
65dec5d
Update rebar.config
rustkas May 7, 2022
d0df826
Update rebar.config
rustkas May 7, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ jobs:

strategy:
matrix:
otp_version: [21,22,23]
otp_version: [22,23,24]
os: [ubuntu-latest]

container:
Expand Down
5 changes: 4 additions & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,4 +10,7 @@ rel/example_project
.rebar
.rebar3
_build/
rebar3
rebar3
doc/*
!doc/style.css
!doc/overview.edoc
10 changes: 10 additions & 0 deletions GNUmakefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,7 @@ xref: $(REBAR)

test: $(REBAR)
$(REBAR) $(REBAR_OPTS) ct
$(REBAR) proper -n 1


# Cleaning
Expand All @@ -55,3 +56,12 @@ clean: clean_logs $(REBAR)
dist-clean: clean
$(REBAR) $(REBAR_OPTS) clean -a
rm -f ./rebar3

##
## Doc targets
##
docs: $(REBAR)
$(REBAR) edoc

edoc_private: $(REBAR)
$(REBAR) as edoc_private edoc
5 changes: 5 additions & 0 deletions doc/overview.edoc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
@author Zotonic Team
@title dispatch_compiler
@doc Compiles dispatch rules to an Erlang module for quick matching.
@copyright Apache 2.0

71 changes: 71 additions & 0 deletions doc/style.css
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
/* standard EDoc style sheet */
body {
font-family: Verdana, Arial, Helvetica, sans-serif;
margin-left: .25in;
margin-right: .2in;
margin-top: 0.2in;
margin-bottom: 0.2in;
color: #000000;
background-color: #ffffff;
}
h1,h2 {
margin-left: -0.2in;
}
div.navbar {
background-color: #add8e6;
padding: 0.2em;
}
h2.indextitle {
padding: 0.4em;
background-color: #add8e6;
}
h3.function,h3.typedecl {
background-color: #add8e6;
padding-left: 1em;
}
div.spec {
margin-left: 2em;

background-color: #eeeeee;
}
a.module {
text-decoration:none
}
a.module:hover {
background-color: #eeeeee;
}
ul.definitions {
list-style-type: none;
}
ul.index {
list-style-type: none;
background-color: #eeeeee;
}

/*
* Minor style tweaks
*/
ul {
list-style-type: square;
}
table {
border-collapse: collapse;
}
td {
padding: 3px;
vertical-align: middle;
}

/*
Tune styles
*/

table[summary="navigation bar"] {
background-image: url('http://zotonic.com/lib/images/logo.png');
background-repeat: no-repeat;
background-position: center;
}

code, p>tt, a>tt {
font-size: 1.2em;
}
23 changes: 23 additions & 0 deletions rebar.config
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,3 +21,26 @@
{dispatch_compiler, match, 3},
{dispatch_compiler, runtime_bind, 3}
]}.

{edoc_opts, [
{preprocess, true}, {stylesheet, "style.css"}
]}.

{profiles, [
{edoc_private, [
{edoc_opts, [
{private, true}
]}
]},
{test, [
{dialyzer, [
{warnings, [
no_return
]}
]},

{deps, [{proper,"1.4.0"}]}
]}
]}.

{project_plugins, [rebar3_proper]}.
Loading