5 Commits

Author	SHA1	Message	Date
Thomas Arts	73c80e1168	Extend model to find {stack, N} errors as argument	2019-05-28 19:09:25 +02:00
Thomas Arts	45ff418699	More dsitintc fault injection	2019-05-28 18:23:39 +02:00
Thomas Arts	032277ae8b	model so far ... improved model	2019-05-28 18:13:27 +02:00
Thomas Arts	4a90e3b2b4	Add two more opcodes	2019-05-28 18:12:43 +02:00
Thomas Arts	8b7fefc8a9	Extend tests to encoded opcodes	2019-05-28 18:12:41 +02:00