diff --git a/src/contracts/amount.mligo b/test/contracts/amount.mligo
similarity index 100%
rename from src/contracts/amount.mligo
rename to test/contracts/amount.mligo
diff --git a/src/contracts/annotation.ligo b/test/contracts/annotation.ligo
similarity index 100%
rename from src/contracts/annotation.ligo
rename to test/contracts/annotation.ligo
diff --git a/src/contracts/arithmetic.ligo b/test/contracts/arithmetic.ligo
similarity index 100%
rename from src/contracts/arithmetic.ligo
rename to test/contracts/arithmetic.ligo
diff --git a/src/contracts/assign.ligo b/test/contracts/assign.ligo
similarity index 100%
rename from src/contracts/assign.ligo
rename to test/contracts/assign.ligo
diff --git a/src/contracts/basic.mligo b/test/contracts/basic.mligo
similarity index 100%
rename from src/contracts/basic.mligo
rename to test/contracts/basic.mligo
diff --git a/src/contracts/bitwise_arithmetic.ligo b/test/contracts/bitwise_arithmetic.ligo
similarity index 100%
rename from src/contracts/bitwise_arithmetic.ligo
rename to test/contracts/bitwise_arithmetic.ligo
diff --git a/src/contracts/boolean_operators.ligo b/test/contracts/boolean_operators.ligo
similarity index 100%
rename from src/contracts/boolean_operators.ligo
rename to test/contracts/boolean_operators.ligo
diff --git a/src/contracts/bytes_arithmetic.ligo b/test/contracts/bytes_arithmetic.ligo
similarity index 100%
rename from src/contracts/bytes_arithmetic.ligo
rename to test/contracts/bytes_arithmetic.ligo
diff --git a/src/contracts/closure-1.ligo b/test/contracts/closure-1.ligo
similarity index 100%
rename from src/contracts/closure-1.ligo
rename to test/contracts/closure-1.ligo
diff --git a/src/contracts/closure-2.ligo b/test/contracts/closure-2.ligo
similarity index 100%
rename from src/contracts/closure-2.ligo
rename to test/contracts/closure-2.ligo
diff --git a/src/contracts/closure-3.ligo b/test/contracts/closure-3.ligo
similarity index 100%
rename from src/contracts/closure-3.ligo
rename to test/contracts/closure-3.ligo
diff --git a/src/contracts/closure.ligo b/test/contracts/closure.ligo
similarity index 100%
rename from src/contracts/closure.ligo
rename to test/contracts/closure.ligo
diff --git a/src/contracts/coase.ligo b/test/contracts/coase.ligo
similarity index 100%
rename from src/contracts/coase.ligo
rename to test/contracts/coase.ligo
diff --git a/src/contracts/condition-simple.ligo b/test/contracts/condition-simple.ligo
similarity index 100%
rename from src/contracts/condition-simple.ligo
rename to test/contracts/condition-simple.ligo
diff --git a/src/contracts/condition.ligo b/test/contracts/condition.ligo
similarity index 100%
rename from src/contracts/condition.ligo
rename to test/contracts/condition.ligo
diff --git a/src/contracts/counter.ligo b/test/contracts/counter.ligo
similarity index 100%
rename from src/contracts/counter.ligo
rename to test/contracts/counter.ligo
diff --git a/src/contracts/counter.mligo b/test/contracts/counter.mligo
similarity index 100%
rename from src/contracts/counter.mligo
rename to test/contracts/counter.mligo
diff --git a/src/contracts/declaration-local.ligo b/test/contracts/declaration-local.ligo
similarity index 100%
rename from src/contracts/declaration-local.ligo
rename to test/contracts/declaration-local.ligo
diff --git a/src/contracts/declarations.ligo b/test/contracts/declarations.ligo
similarity index 100%
rename from src/contracts/declarations.ligo
rename to test/contracts/declarations.ligo
diff --git a/src/contracts/dispatch-counter.ligo b/test/contracts/dispatch-counter.ligo
similarity index 100%
rename from src/contracts/dispatch-counter.ligo
rename to test/contracts/dispatch-counter.ligo
diff --git a/src/contracts/error_syntax.ligo b/test/contracts/error_syntax.ligo
similarity index 100%
rename from src/contracts/error_syntax.ligo
rename to test/contracts/error_syntax.ligo
diff --git a/src/contracts/error_type.ligo b/test/contracts/error_type.ligo
similarity index 100%
rename from src/contracts/error_type.ligo
rename to test/contracts/error_type.ligo
diff --git a/src/contracts/failwith.mligo b/test/contracts/failwith.mligo
similarity index 100%
rename from src/contracts/failwith.mligo
rename to test/contracts/failwith.mligo
diff --git a/src/contracts/function-complex.ligo b/test/contracts/function-complex.ligo
similarity index 100%
rename from src/contracts/function-complex.ligo
rename to test/contracts/function-complex.ligo
diff --git a/src/contracts/function-shared.ligo b/test/contracts/function-shared.ligo
similarity index 100%
rename from src/contracts/function-shared.ligo
rename to test/contracts/function-shared.ligo
diff --git a/src/contracts/function.ligo b/test/contracts/function.ligo
similarity index 100%
rename from src/contracts/function.ligo
rename to test/contracts/function.ligo
diff --git a/src/contracts/guess_string.mligo b/test/contracts/guess_string.mligo
similarity index 100%
rename from src/contracts/guess_string.mligo
rename to test/contracts/guess_string.mligo
diff --git a/src/contracts/heap-instance.ligo b/test/contracts/heap-instance.ligo
similarity index 100%
rename from src/contracts/heap-instance.ligo
rename to test/contracts/heap-instance.ligo
diff --git a/src/contracts/heap.ligo b/test/contracts/heap.ligo
similarity index 100%
rename from src/contracts/heap.ligo
rename to test/contracts/heap.ligo
diff --git a/src/contracts/high-order.ligo b/test/contracts/high-order.ligo
similarity index 100%
rename from src/contracts/high-order.ligo
rename to test/contracts/high-order.ligo
diff --git a/src/contracts/included.ligo b/test/contracts/included.ligo
similarity index 100%
rename from src/contracts/included.ligo
rename to test/contracts/included.ligo
diff --git a/src/contracts/includer.ligo b/test/contracts/includer.ligo
similarity index 100%
rename from src/contracts/includer.ligo
rename to test/contracts/includer.ligo
diff --git a/src/contracts/lambda.ligo b/test/contracts/lambda.ligo
similarity index 100%
rename from src/contracts/lambda.ligo
rename to test/contracts/lambda.ligo
diff --git a/src/contracts/lambda.mligo b/test/contracts/lambda.mligo
similarity index 100%
rename from src/contracts/lambda.mligo
rename to test/contracts/lambda.mligo
diff --git a/src/contracts/lambda2.mligo b/test/contracts/lambda2.mligo
similarity index 100%
rename from src/contracts/lambda2.mligo
rename to test/contracts/lambda2.mligo
diff --git a/src/contracts/letin.mligo b/test/contracts/letin.mligo
similarity index 100%
rename from src/contracts/letin.mligo
rename to test/contracts/letin.mligo
diff --git a/src/contracts/list.ligo b/test/contracts/list.ligo
similarity index 100%
rename from src/contracts/list.ligo
rename to test/contracts/list.ligo
diff --git a/src/contracts/list.mligo b/test/contracts/list.mligo
similarity index 100%
rename from src/contracts/list.mligo
rename to test/contracts/list.mligo
diff --git a/src/contracts/loop.ligo b/test/contracts/loop.ligo
similarity index 100%
rename from src/contracts/loop.ligo
rename to test/contracts/loop.ligo
diff --git a/src/contracts/map.ligo b/test/contracts/map.ligo
similarity index 100%
rename from src/contracts/map.ligo
rename to test/contracts/map.ligo
diff --git a/src/contracts/match.ligo b/test/contracts/match.ligo
similarity index 100%
rename from src/contracts/match.ligo
rename to test/contracts/match.ligo
diff --git a/src/contracts/match.mligo b/test/contracts/match.mligo
similarity index 100%
rename from src/contracts/match.mligo
rename to test/contracts/match.mligo
diff --git a/src/contracts/match_bis.mligo b/test/contracts/match_bis.mligo
similarity index 100%
rename from src/contracts/match_bis.mligo
rename to test/contracts/match_bis.mligo
diff --git a/src/contracts/multiple-parameters.ligo b/test/contracts/multiple-parameters.ligo
similarity index 100%
rename from src/contracts/multiple-parameters.ligo
rename to test/contracts/multiple-parameters.ligo
diff --git a/src/contracts/new-syntax.mligo b/test/contracts/new-syntax.mligo
similarity index 100%
rename from src/contracts/new-syntax.mligo
rename to test/contracts/new-syntax.mligo
diff --git a/src/contracts/option.ligo b/test/contracts/option.ligo
similarity index 100%
rename from src/contracts/option.ligo
rename to test/contracts/option.ligo
diff --git a/src/contracts/parser-bad-reported-term.ligo b/test/contracts/parser-bad-reported-term.ligo
similarity index 100%
rename from src/contracts/parser-bad-reported-term.ligo
rename to test/contracts/parser-bad-reported-term.ligo
diff --git a/src/contracts/quote-declaration.ligo b/test/contracts/quote-declaration.ligo
similarity index 100%
rename from src/contracts/quote-declaration.ligo
rename to test/contracts/quote-declaration.ligo
diff --git a/src/contracts/quote-declarations.ligo b/test/contracts/quote-declarations.ligo
similarity index 100%
rename from src/contracts/quote-declarations.ligo
rename to test/contracts/quote-declarations.ligo
diff --git a/src/contracts/record.ligo b/test/contracts/record.ligo
similarity index 100%
rename from src/contracts/record.ligo
rename to test/contracts/record.ligo
diff --git a/src/contracts/record.mligo b/test/contracts/record.mligo
similarity index 100%
rename from src/contracts/record.mligo
rename to test/contracts/record.mligo
diff --git a/src/contracts/set_arithmetic-1.ligo b/test/contracts/set_arithmetic-1.ligo
similarity index 100%
rename from src/contracts/set_arithmetic-1.ligo
rename to test/contracts/set_arithmetic-1.ligo
diff --git a/src/contracts/set_arithmetic.ligo b/test/contracts/set_arithmetic.ligo
similarity index 100%
rename from src/contracts/set_arithmetic.ligo
rename to test/contracts/set_arithmetic.ligo
diff --git a/src/contracts/shadow.ligo b/test/contracts/shadow.ligo
similarity index 100%
rename from src/contracts/shadow.ligo
rename to test/contracts/shadow.ligo
diff --git a/src/contracts/string.ligo b/test/contracts/string.ligo
similarity index 100%
rename from src/contracts/string.ligo
rename to test/contracts/string.ligo
diff --git a/src/contracts/string_arithmetic.ligo b/test/contracts/string_arithmetic.ligo
similarity index 100%
rename from src/contracts/string_arithmetic.ligo
rename to test/contracts/string_arithmetic.ligo
diff --git a/src/contracts/super-counter.ligo b/test/contracts/super-counter.ligo
similarity index 100%
rename from src/contracts/super-counter.ligo
rename to test/contracts/super-counter.ligo
diff --git a/src/contracts/super-counter.mligo b/test/contracts/super-counter.mligo
similarity index 100%
rename from src/contracts/super-counter.mligo
rename to test/contracts/super-counter.mligo
diff --git a/src/contracts/toto.ligo b/test/contracts/toto.ligo
similarity index 100%
rename from src/contracts/toto.ligo
rename to test/contracts/toto.ligo
diff --git a/src/contracts/tuple.ligo b/test/contracts/tuple.ligo
similarity index 100%
rename from src/contracts/tuple.ligo
rename to test/contracts/tuple.ligo
diff --git a/src/contracts/type-alias.ligo b/test/contracts/type-alias.ligo
similarity index 100%
rename from src/contracts/type-alias.ligo
rename to test/contracts/type-alias.ligo
diff --git a/src/contracts/unit.ligo b/test/contracts/unit.ligo
similarity index 100%
rename from src/contracts/unit.ligo
rename to test/contracts/unit.ligo
diff --git a/src/contracts/variant-matching.ligo b/test/contracts/variant-matching.ligo
similarity index 100%
rename from src/contracts/variant-matching.ligo
rename to test/contracts/variant-matching.ligo
diff --git a/src/contracts/variant.ligo b/test/contracts/variant.ligo
similarity index 100%
rename from src/contracts/variant.ligo
rename to test/contracts/variant.ligo
diff --git a/src/contracts/vote.mligo b/test/contracts/vote.mligo
similarity index 100%
rename from src/contracts/vote.mligo
rename to test/contracts/vote.mligo
diff --git a/src/contracts/website1.ligo b/test/contracts/website1.ligo
similarity index 100%
rename from src/contracts/website1.ligo
rename to test/contracts/website1.ligo
diff --git a/src/contracts/website2.ligo b/test/contracts/website2.ligo
similarity index 100%
rename from src/contracts/website2.ligo
rename to test/contracts/website2.ligo