Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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
- Host: GitHub
- URL: https://github.com/albsch/minsem
- Owner: albsch
- Created: 2024-04-03T13:56:00.000Z (10 months ago)
- Default Branch: master
- Last Pushed: 2024-07-08T13:09:58.000Z (7 months ago)
- Last Synced: 2024-07-08T16:24:03.018Z (7 months ago)
- Language: Erlang
- Size: 826 KB
- Stars: 3
- Watchers: 2
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
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
```