Enrique Fernández efcasado

## eqc.md

      
              1 file
            
          
              8 forks
            
          
              1 comment
            
          
              37 stars
            
          
                efcasado
                / eqc.md
            
            
              Last active
              December 16, 2023 00:07
            
              
                A gentle introduction to (Erlang) QuickCheck
              
          
    Erlang QuickCheck

What is QuickCheck?

QuickCheck is a language for stating properties of programs.
?FORALL(X, nat(), X*X >= 0)

  
## kata.erl
-module(kata).

-define(SIDES, 4).

-export([msg2rect/1]).


msg2rect(Message) ->
    VChars = length(Message) div ?SIDES,
    HChars = VChars + trunc(((length(Message) rem ?SIDES) / 2)),
	-module(kata).

	-define(SIDES, 4).

	-export([msg2rect/1]).


	msg2rect(Message) ->
	VChars = length(Message) div ?SIDES,
	HChars = VChars + trunc(((length(Message) rem ?SIDES) / 2)),