Raúl Kripalani
5bd6a3cdad
conformance: record randomness in tvx; replay in driver.
2020-10-07 19:57:42 +01:00
Steven Allen
df4b068d0e
Merge branch 'master' into next
2020-10-07 11:55:00 -07:00
Raúl Kripalani
d3dc560f53
conformance: minor refactors.
2020-10-07 13:01:08 +01:00
Steven Allen
16243b97aa
make state diffing work with partial state trees
2020-10-05 17:03:28 -07:00
Steven Allen
89b88c1e0d
fix conformance tests
2020-10-05 17:03:28 -07:00
Steven Allen
4989b1cc90
Merge branch 'master' into asr/spec-v1
2020-09-30 09:19:12 -07:00
Raúl Kripalani
eb6191d0ff
tvx: precursor selection modes; canonical message fetching; basefee.
2020-09-30 11:02:10 +01:00
Raúl Kripalani
4b3b35c9de
conformance: record and feed circulating supply.
2020-09-28 23:04:52 +01:00
Steven Allen
5f3160cf5b
continue expanding vm abstraction layer
2020-09-28 12:48:08 -07:00
Raúl Kripalani
a0dffb44d3
tvx/extract: perform sanity check on receipt.
2020-09-28 13:11:34 +01:00
Raúl Kripalani
fe869c9c22
address review comments; lint.
2020-09-27 21:06:07 +01:00
Raúl Kripalani
f5f23f7291
driver: option for VM flushing.
2020-09-27 20:55:09 +01:00
Raúl Kripalani
e5c56da321
move conformance tvx tool to lotus.
2020-09-27 20:10:05 +01:00
Steven Allen
8b35f480c4
initial vm conversion
...
We're probably going to want to change some of these design decisions down the
road, but this is a good starting point.
* We may want to use a more general test for "is actor valid at epoch". Maybe
just a function?
* I'd like to push some of the actor metadata down into the actor types
themselves. Ideally, we'd be able to register actors with a simple
`Register(validation, manyActors...)` call.
2020-09-25 12:49:39 -07:00
Raúl Kripalani
87b48c94a6
conformance: supply network version to driver.
2020-09-24 17:58:34 +01:00
Łukasz Magiera
f7934b083c
Merge remote-tracking branch 'origin/master' into refactor/net-upgrade
2020-09-21 19:10:18 +02:00
Alan Shaw
d9951cdff4
fix: regen
2020-09-21 10:10:31 +01:00
Alan Shaw
c1a9cf7edd
refactor: renames
2020-09-21 10:09:05 +01:00
Alan Shaw
dfaad08a8b
fix: update cbor gen file
2020-09-21 10:09:05 +01:00
Alan Shaw
d607ca6118
refactor: remove IsReceiver branch
2020-09-21 10:09:05 +01:00
Alan Shaw
49a94b7cba
chore: appease linter
2020-09-21 10:09:05 +01:00
Alan Shaw
ab53abf04e
feat: add CallerValidationBranchIsReceiver and tests
2020-09-21 10:09:05 +01:00
Alan Shaw
cfa041ca8a
refactor: chaos caller validation
2020-09-21 10:09:01 +01:00
Łukasz Magiera
70faa36b7f
Merge remote-tracking branch 'origin/master' into refactor/net-upgrade
2020-09-18 19:29:06 +02:00
Łukasz Magiera
6eda53565f
Most tests passing
2020-09-17 17:30:24 +02:00
Frank
bf2e3baa8f
fix conformance gen
2020-09-17 11:49:23 +08:00
Alan Shaw
ed4caac9bf
fix: remove network version and total fil
2020-09-15 22:24:09 +01:00
Alan Shaw
ae326ce65d
feat: add inspect runtime method to chaos actor
2020-09-15 15:43:37 +01:00
Steven Allen
32eeb96ce7
Update to specs-actors 0.9.9
...
This patch changes the runtime interfaces, to make it possible to abstract over them.
2020-09-14 12:47:39 -07:00
Alan Shaw
16f7d5801b
fix: chaos tests
2020-09-11 15:25:59 +01:00
Raúl Kripalani
cd9858420f
Merge pull request #3736 from filecoin-project/test/chaos-tests
2020-09-11 12:18:27 +01:00
Aayush Rajasekaran
230ef2484d
fix tests
2020-09-10 17:41:55 -04:00
Aayush Rajasekaran
316ac61875
Update to go state types 3ca0d2890090
2020-09-10 17:41:55 -04:00
Alan Shaw
c94ff3430c
refactor: use nil value
2020-09-10 14:51:30 +01:00
Alan Shaw
a214069586
chore: appease linter
2020-09-10 14:30:52 +01:00
Alan Shaw
d4b185be5e
test: add chaos actor tests
2020-09-10 14:23:39 +01:00
Alan Shaw
0e7f14159a
refactor: another rename
2020-09-10 12:06:00 +01:00
Alan Shaw
b755ce9528
refactor: renames
2020-09-10 12:03:13 +01:00
Alan Shaw
f3cae55bd4
feat: chaos abort
2020-09-10 11:31:34 +01:00
Raúl Kripalani
6d2b4ab775
fix lint.
2020-09-09 14:28:56 +01:00
Raúl Kripalani
2a3743ff84
invoke the statediff command properly.
2020-09-09 14:08:54 +01:00
Raúl Kripalani
a5afd83c7b
Merge branch 'master' into fix/test-vectors-import-cycle
2020-09-09 13:04:41 +01:00
Raúl Kripalani
e8d1bab914
make the runner call statediff as a binary.
2020-09-09 13:03:43 +01:00
Raúl Kripalani
63cdbef219
temp fix test-vectors import cycle.
2020-09-08 21:50:25 +01:00
whyrusleeping
8a8f0ab3ec
pass tipset through upgrade logic
2020-09-08 13:45:44 -07:00
Aayush Rajasekaran
d678fe4bfa
Fix tests
2020-09-07 15:48:42 -04:00
Aayush Rajasekaran
39755a294a
Update to specs v0.9.6
2020-09-07 15:48:41 -04:00
Alan Shaw
ada5e6ae68
refactor: remove puppet actor from conformance tests
...
The puppet actor has been subsumed into the chaos actor and test-vector tests no longer use it.
2020-09-03 23:19:53 +01:00
Raúl Kripalani
8e7a8d8c97
conformance: tipset-class driver: allow actor msgs, dummy-sign secp msgs.
2020-09-03 22:54:19 +01:00
Raúl Kripalani
0962292f92
conformance: add driver for tipset-class vectors.
2020-09-02 14:09:12 +01:00
Łukasz Magiera
fa6bae988e
Revert "conformance: add driver for tipset-class vectors."
2020-09-02 14:49:55 +02:00
Raúl Kripalani
ec5903ca19
fix lint error.
2020-09-02 12:28:55 +01:00
Raúl Kripalani
ad5793e446
update test-vectors commit.
2020-09-01 20:01:41 +01:00
Raúl Kripalani
3321f36b51
update test-vectors commit.
2020-09-01 16:35:26 +01:00
Raúl Kripalani
64bdd620ac
conformance: add driver for tipset-class vectors.
2020-09-01 15:35:19 +01:00
austinabell
679a8e0c24
Add in return value check in test-vector runner
2020-08-27 11:42:01 -04:00
Raúl Kripalani
75e0387be2
fix ffiwrapper import.
2020-08-26 21:49:55 +01:00
Raúl Kripalani
4709e231b8
drop aurora as dep; upgrade test-vectors.
2020-08-26 18:35:41 +01:00
Raúl Kripalani
dabe14889d
actually apply all messages.
2020-08-26 16:48:47 +01:00
Raúl Kripalani
cba5ae81ed
call out to filecoin-project/statediff upon state mismatches.
2020-08-26 15:09:33 +01:00
Alan Shaw
a89faa72ea
feat(conformance): skip incorrect tests ( #3310 )
...
Fixes https://github.com/filecoin-project/test-vectors/issues/72
2020-08-26 11:45:34 +01:00
Raúl Kripalani
6ed1c9e905
register the puppet actor conditionally.
2020-08-21 11:51:50 +01:00
Raúl Kripalani
04e4bab313
register chaos actor only if selector says to do so.
2020-08-19 18:10:56 +01:00
Raúl Kripalani
dddf7951ef
update test-vectors commit.
2020-08-19 17:33:30 +01:00
Raúl Kripalani
a21234cd54
deploy the chaos actor.
2020-08-19 14:31:34 +01:00
Raúl Kripalani
f1c452754f
separate conformance suite on CI.
2020-08-16 22:50:00 +01:00
Raúl Kripalani
b9d67296ef
small adjustments to runner.
2020-08-16 22:15:12 +01:00
Raúl Kripalani
a0c0d9c98a
small fixes.
2020-08-16 00:37:16 +01:00
Raúl Kripalani
322b33197c
introduce interoperable vector-based conformance testing.
...
This commit introduces a new package `conformance` containing:
1. the test driver to exercise Lotus against interoperable
test vectors, and
2. the test runner, which integrates go test with the test vector
corpus hosted at https://github.com/filecoin-project/conformance-vectors .
The corpus is mounted via a git submodule.
Right now, only message-class test vectors are supported. In the
next week, this support will be extended to tipset-class, chain-class,
and block sequence-class vectors.
2020-08-16 00:15:52 +01:00
