Skip to content

Commit

Permalink
tests/slicing/tests.py: formatting fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
lzaoral committed Oct 23, 2021
1 parent 5acba66 commit 9dbc9fa
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions tests/slicing/tests.py
Original file line number Diff line number Diff line change
@@ -1,10 +1,8 @@

class Test:
def __init__(self, src, linkbefore = None,linkafter = None,\
optbefore = None, optafter = None,\
addparams = [], requiredparams = [],\
compilerparams = [],
expectedoutput=None):
def __init__(self, src, linkbefore=[], linkafter=[],
optbefore=[], optafter=[],
addparams=[], requiredparams=[],
compilerparams=[], expectedoutput=None):
self.source = src
self.linkbefore = linkbefore
self.linkafter = linkafter
Expand All @@ -15,6 +13,7 @@ def __init__(self, src, linkbefore = None,linkafter = None,\
self.compilerparams = compilerparams
self.expectedoutput = expectedoutput


tests = {
'test1' : Test('test1.c'),
'test2' : Test('test2.c'),
Expand Down Expand Up @@ -209,8 +208,9 @@ def __init__(self, src, linkbefore = None,linkafter = None,\
'pta-inv-infinite-loop': Test('pta-inv-infinite-loop.c',
requiredparams=['-pta=inv']),

'threads1' : Test('threads1.c',
addparams=['-threads'], requiredparams=['-pta=fi']),
'threads1' : Test('threads1.c',
addparams=['-threads'],
requiredparams=['-pta=fi']),
'undefcall1' : Test('undefcall1_true-unreach-call.c'),
'undefcall2' : Test('undefcall2_true-unreach-call.c'),
'unknown-interproc' : Test('unknown-interproc.c',
Expand Down

0 comments on commit 9dbc9fa

Please sign in to comment.