Daniel Marjamäki
|
d1f3ecec12
|
Verification; Tweak itc test script, avoid duplicate linenumbers
|
2020-01-12 10:53:44 +01:00 |
|
Daniel Marjamäki
|
7704f6578f
|
Verification; Fix struct member false negative
|
2020-01-12 10:29:03 +01:00 |
|
Daniel Marjamäki
|
e16395e1e4
|
test/verify/itc.py: minor tweaks
|
2019-12-23 11:23:56 +01:00 |
|
Daniel Marjamäki
|
37bb19f02c
|
Verify: Fix a false negative in the itc test suite
|
2019-10-25 21:46:02 +02:00 |
|
Daniel Marjamäki
|
fbd59b2fc5
|
Verify: Add test script itc.py. clarify juliet.py test script
|
2019-10-24 21:48:34 +02:00 |