Thomas Arts
|
3565719c7a
|
New opcodes after renumbering
|
2019-09-06 14:48:37 +02:00 |
|
Thomas Arts
|
59b7b786ac
|
Update quickcheck/aefate_code_eqc.erl
Co-Authored-By: Hans Svensson <hanssv@gmail.com>
|
2019-08-23 15:50:39 +02:00 |
|
Thomas Arts
|
c270c794c3
|
Fix tests to new datastructure containing attributes
|
2019-08-23 11:31:54 +02:00 |
|
Thomas Arts
|
8a50d20a67
|
Bring tests up-to-date
|
2019-08-06 13:04:25 +02:00 |
|
Ulf Norell
|
f7f0dfde51
|
Update and fix quickcheck fuzz test
|
2019-06-20 15:27:16 +02:00 |
|
Ulf Norell
|
f13ba67a2c
|
Update and clean up quickcheck tests
|
2019-06-20 14:29:34 +02:00 |
|
Thomas Arts
|
803ebc0854
|
Three new opcodes had been added
|
2019-06-19 17:41:47 +02:00 |
|
Thomas Arts
|
8bf19dc060
|
Do not generate maps and variants as keys in fate maps
|
2019-05-29 16:23:45 +02:00 |
|
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 |
|