|
|
1cdcb9150b
|
Revamp (#235)
Gajumaru Bytecode Tests / tests (push) Successful in -3m34s
Add Gitea tests
Rename
Remove oracle references
Package for zx
Reviewed-on: #235
Reviewed-by: dimitar.p.ivanov <dimitarivanov@qpq.swiss>
Co-authored-by: Craig Everett <zxq9@zxq9.com>
Co-committed-by: Craig Everett <zxq9@zxq9.com>
|
2025-01-22 21:12:54 +09:00 |
|
Ulf Norell
|
e5164330b0
|
Get valid opcodes from instruction list
|
2020-03-02 08:48:29 +01:00 |
|
Hans Svensson
|
167bfcc0e6
|
Add String.to/from_list Char.to/from_int and Char.to_upper/lower as operations
|
2020-02-24 10:09:23 +01:00 |
|
Hans Svensson
|
370c7387a9
|
Add AUTH_TX to FATE operations
|
2020-02-11 09:34:48 +01:00 |
|
Hans Svensson
|
4565188c6a
|
Add AENS_LOOKUP and ORACLE_EXPIRY as FATE operations
|
2020-02-03 13:19:08 +01:00 |
|
Ulf Norell
|
176df87bb0
|
Add ADDRESS_TO_CONTRACT
|
2019-09-30 13:14:11 +02:00 |
|
Ulf Norell
|
17c9656f5c
|
Add FATE instructions for Bytes.concat and Bytes.split
|
2019-09-09 14:45:23 +02:00 |
|
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
|
f31887c2ed
|
Update properties
|
2019-08-23 15:00:12 +02:00 |
|
Thomas Arts
|
d794566363
|
Fix check for no maps in keys
|
2019-08-23 14:45:15 +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 |
|
Tobias Lindahl
|
c63ac888dd
|
Pt 166233700 fate nameservice (#60)
* Introduce AENS instructions in FATE
* Remove name object and fixup some documentation
|
2019-06-26 13:19:44 +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
|
cb83224c60
|
Add query to generate QuickCheck data
|
2019-06-19 17:41:47 +02:00 |
|
Thomas Arts
|
803ebc0854
|
Three new opcodes had been added
|
2019-06-19 17:41:47 +02:00 |
|
Thomas Arts
|
985e5358c9
|
Sorting should be idempotent
|
2019-06-03 14:49:02 +02:00 |
|
Thomas Arts
|
d6fbc73450
|
Quicker testing with smaller terms
|
2019-06-03 13:34:37 +02:00 |
|
Thomas Arts
|
3d6ac9df92
|
Slightly different property
|
2019-06-03 11:08:08 +02:00 |
|
Erik Stenman
|
58daf1bb5c
|
Add quick check test for order and handle variants.
|
2019-05-31 14:42:00 +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
|
0d6322c0aa
|
Fix property
|
2019-05-29 08:31:04 +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 |
|
Thomas Arts
|
6f59ef7a7c
|
Fuzz test aeb_fate_encoding
|
2019-05-28 18:11:42 +02:00 |
|
Thomas Arts
|
23b98f7d65
|
Add unit test to trigger eqc property
|
2019-05-28 18:11:42 +02:00 |
|
Thomas Arts
|
163e805f55
|
Enable running properties as Eunit tests
Update model to address serialization
Update eunit test wrapper
Update tests
Add tests for serialize_type
|
2019-05-02 13:08:43 +02:00 |
|
Thomas Arts
|
04d64dfe9b
|
Extend QuickCheck model to use the make_BLA functions to create the fate data
|
2019-04-10 15:41:59 +02:00 |
|
Thomas Arts
|
75f3eeffa7
|
Add quickcheck properties
|
2019-04-09 10:32:08 +02:00 |
|
