1 -module(test). 2 3 -compile(export_all). 4 -compile({parse_transform, eqc_cover}). 5 6 a(N) ->

Total	:	110 calls
Run 1	:	100 calls
Run 2	:	10 calls

7 [

Total	:	110 calls
Run 1	:	100 calls
Run 2	:	10 calls

io:format("X: ~p\n", [X])

Total	:	5,105 calls
Run 1	:	5,050 calls
Run 2	:	55 calls

||

Total	:	110 calls
Run 1	:	100 calls
Run 2	:	10 calls

X <-

Total	:	5,105 calls
Run 1	:	5,050 calls
Run 2	:	55 calls

lists:seq(1, N) ]

Total	:	110 calls
Run 1	:	100 calls
Run 2	:	10 calls

. 8 9 b(X, Y) ->

Total	:	110 calls
Run 1	:	100 calls
Run 2	:	10 calls

10 if

Total	:	110 calls
Run 1	:	100 calls
Run 2	:	10 calls

X > 3 andalso Y < 7 -> X + Y

Run 2

:

5 calls

; 11 X < 17 orelse Y > 9 -> Y - X

Total	:	104 calls
Run 1	:	100 calls
Run 2	:	4 calls

; 12 X > Y -> X * Y

Run 2

:

1 call

; 13 true -> 42 14 end.