Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/albsch/minsem

Minimal semantic subtyping framework
https://github.com/albsch/minsem

Last synced: 16 days ago
JSON representation

Minimal semantic subtyping framework

Awesome Lists containing this project

README

        

Minimal semantic subtyping framework
=====

Execute unit test cases via `rebar3`:

```
./rebar3 eunit -m minsem
===> Verifying dependencies...
===> Analyzing applications...
===> Compiling minsem
===> Performing EUnit tests...
Any: #Fun (36237324)
{ty,[{[true],[]}],
[{[{#Fun,#Fun}],[]}]}
Empty: #Fun
Empty unfolded: {ty,[{[],[true]}],
[{[],
[{#Fun,#Fun}]}]}
Any & Any: {#Fun,
{ty,[{[true],[]}],
[{[{#Fun,#Fun}],[]}]}}
Any: #Fun
Any unfolded: {ty,[{[true],[]}],
[{[{#Fun,#Fun}],
[]}]}
Any is empty: false
Empty is empty: true
Any (custom) is empty: false
.
Finished in 0.012 seconds
1 tests, 0 failures
```

Execute property-basec test cases via `rebar3`:

```
./rebar3 proper -n 1000
===> Verifying dependencies...
===> Analyzing applications...
===> Compiling minsem
===> Analyzing applications...
===> Compiling extra_test
===> Testing prop_ty:prop_empty_termination()
OK: Passed 1000 test(s).
===> Testing prop_ty:prop_generator_ast_quality()
OK: Passed 1000 test(s).

85.20% non_trivial
12.70% empty
2.10% any
===>
2/2 properties passed
```