# -*- coding: utf-8 -*-
# $Id: testScheme.py 1603 2011-10-10 12:33:02Z amelung $
#
# Copyright (c) 2007-2011 Otto-von-Guericke-Universität Magdeburg
#
# This file is part of ECSpooler.
import unittest
# add parent directory to the system path
#from lib.data.BackendResult import BackendResult
"""
"""
# -- individual tests -----------------------------------------------------
"""_process_checkSemantics should return an instance of 'BackendResult' with error code -217 if no test spec is given"""
if result:
else:
"""_process_checkSemantics should return an instance of 'BackendResult' with error code -216 if no test data are given"""
if result:
else:
"""_manage_checkSyntax should return False for a syntactical incorrect program"""
'submission':'(define (square x) (* x x)',
'tests': ['simple'],
}
if result:
else:
"""_manage_checkSyntax should return True for a correct program"""
'submission':'(define (square x) (* x x))',
'tests': ['simple'],
}
if result:
else:
"""_manage_checkSemantic should return False for an incorrect program"""
'submission':'(define (square x) (* x 2))',
'modelSolution': '(define (square x) (* x x))',
'tests': ['simple'],
'testData': '(square 0)\n(square 2)\n(square 3)',
}
if result:
else:
"""_manage_checkSemantic should return True for a correct program"""
'submission':'(define (square x) (* x x))',
'modelSolution': '(define (square x) (* x x))',
'tests': ['simple'],
'testData': '(square 0)\n(square 2)\n(square 3)',
}
if result:
else:
def test_suite():
"""
"""
return suite
# -- main ---------------------------------------------------------------------
if __name__ == '__main__':