Daniel Marjamäki
|
921997c9e9
|
itc.py; false negative is fixed
|
2020-07-03 17:50:56 +02:00 |
|
Daniel Marjamäki
|
bcaf792e30
|
Bug hunting; Fix FP for struct with uninitialized members passed to function in C
|
2020-06-27 22:11:12 +02:00 |
|
Daniel Marjamäki
|
06aeac75dc
|
Bug hunting; Fix false negatives
|
2020-06-19 18:38:02 +02:00 |
|
Daniel Marjamäki
|
d3df68e376
|
Updated bug hunting test
|
2020-06-18 14:31:51 +02:00 |
|
Daniel Marjamäki
|
76f4fae806
|
Bug hunting; Started to activate some itc tests for uninitialized variables
|
2020-05-15 20:58:33 +02:00 |
|
Daniel Marjamäki
|
c0be64d694
|
bug hunting test: adjust itc test script for older python 3.x that does not allow format strings
|
2020-05-06 11:55:22 +02:00 |
|
Daniel Marjamäki
|
ef2e272f20
|
Fixed test/bug-hunting/itc.py
|
2020-05-01 10:22:05 +02:00 |
|
Daniel Marjamäki
|
8d6891ac81
|
bug hunting; modified itc test script so you can pass --clang to it
|
2020-01-20 10:43:42 +01:00 |
|
Daniel Marjamäki
|
fddc301f7b
|
Rename test cases, 'verification' was renamed to 'bug hunting'
|
2020-01-15 21:11:04 +01:00 |