1
1
mirror of https://github.com/henrydcase/pqc.git synced 2024-11-22 23:48:58 +00:00

Allow to run the test modules as python3 module.py

This commit is contained in:
Thom Wiggers 2019-02-18 13:39:11 +01:00
parent 78e349f3ba
commit 685098ce33
No known key found for this signature in database
GPG Key ID: 001BB0A7CE26E363
5 changed files with 25 additions and 0 deletions

View File

@ -21,3 +21,8 @@ def check_compile_lib(scheme_name, implementation_name):
['make'], ['make'],
implementation.path() implementation.path()
) )
if __name__ == '__main__':
import nose
nose.runmodule()

View File

@ -21,3 +21,8 @@ def check_functest(scheme_name, implementation_name):
['./functest_{}_{}'.format(scheme_name, implementation_name)], ['./functest_{}_{}'.format(scheme_name, implementation_name)],
os.path.join('..', 'bin'), os.path.join('..', 'bin'),
) )
if __name__ == '__main__':
import nose
nose.runmodule()

View File

@ -15,3 +15,8 @@ def check_license(scheme_name, implementation_name):
p1 = os.path.join(implementation.path(), 'LICENSE') p1 = os.path.join(implementation.path(), 'LICENSE')
p2 = os.path.join(implementation.path(), 'LICENSE.txt') p2 = os.path.join(implementation.path(), 'LICENSE.txt')
assert(os.path.isfile(p1) or os.path.isfile(p2)) assert(os.path.isfile(p1) or os.path.isfile(p2))
if __name__ == '__main__':
import nose
nose.runmodule()

View File

@ -116,3 +116,8 @@ def check_element(field, element, props):
if type_ == dict: if type_ == dict:
check_spec(element, props['spec'].items()) check_spec(element, props['spec'].items())
if __name__ == '__main__':
import nose
nose.runmodule()

View File

@ -44,3 +44,8 @@ def check_symbol_namespace(scheme_name, implementation_name):
for symbol in non_namespaced: for symbol in non_namespaced:
print("\ttype: {}, symbol: {}".format(symtype, symbol)) print("\ttype: {}, symbol: {}".format(symtype, symbol))
assert(False) assert(False)
if __name__ == '__main__':
import nose
nose.runmodule()