#!/usr/bin/env python

"""Functions for test_tester.py"""

from shatter.solver import *

__author__ = 'juan pablo isaza'


@solve()
def collision(a):
    pass


@solve()
def non_collision(a, b, c, d):
    pass


@solve()
def basic_if(a, b):
    pass
