4 Commits

Author	SHA1	Message	Date
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